Books by Computer Science Foundations and Applied Logic
Algorithms for Constructing Computably Enumerable Sets
-20% with code BOOKS
In stock at our supplier
Petri Net Primer: A Compendium on the Core Model, Analysis, and Synthesis
-20% with code BOOKS
In stock at our supplier
Structural Decision Diagrams in Digital Test: Theory and Applications
Jaan Raik, Maksim Jenihhin, Artur Jutman, Raimund Ubar
-20% with code BOOKS
In stock at our supplier
Guide to Software Verification with Frama-C: Core Components, Usages, and Applications
-20% with code BOOKS
In stock at our supplier
Category Theory Using Haskell: An Introduction with Moggi and Yoneda
-20% with code BOOKS
In stock at our supplier
Multi-valued Logic for Decision-Making Under Uncertainty
Ronald Yager, Evgeny Kagan, Alexander Rybalov
-20% with code BOOKS
In stock at our supplier