Books

Computer Science Foundations and Applied Logic

Free pickup at

Select a store

Available for delivery

Filters

Free pickup at

Select a store

Available for delivery

16 results for

Sort By:
Available for delivery
Free pickup at:

0 items

No products found

Try adjusting your filters to see more items.

Front cover

Algorithms for Constructing Computably Enumerable Sets
Kenneth J. Supowit Hardcover
$94.95
2 formats available
Front cover

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas
William M. Farmer Paperback
$94.95
Front cover

Structural Decision Diagrams in Digital Test: Theory and Applications
Raimund Ubar Hardcover
$364.95
2 formats available
Front cover

Guide to Software Verification with Frama-C: Core Components, Usages, and Applications
Nikolai Kosmatov Hardcover
$102.50
2 formats available
Front cover

Concise Guide to Fault Tree Analysis: Models, Methods and Algorithms
Mariëlle Stoelinga Hardcover
$102.50
Front cover

Category Theory Using Haskell: An Introduction with Moggi and Yoneda
Shuichi Yukita Hardcover
$321.50
2 formats available
Front cover

Simple Type Theory: A Practical Logic for Expressing and Reasoning about Mathematical Ideas
William M. Farmer Hardcover
$145.95
2 formats available
Front cover

Proof Assistants and Their Applications in Mathematics and Computer Science
Jasmin Blanchette Hardcover
$124.50
Front cover

Structural Decision Diagrams in Digital Test: Theory and Applications
Raimund Ubar Paperback
$364.95

Multi-valued Logic for Decision-Making Under Uncertainty
Evgeny Kagan Kobo eBook
$237.99 Price reduced from $296.77 to
2 formats available
Front cover

Petri Net Primer: A Compendium on the Core Model, Analysis, and Synthesis
Eike Best Hardcover
$131.50
Front cover

Petri Net Primer: A Compendium on the Core Model, Analysis, and Synthesis
Eike Best Paperback
$58.50
Front cover

Structural Decision Diagrams in Digital Test: Theory and Applications
Raimund Ubar Paperback
$58.50
Front cover

Algorithms for Constructing Computably Enumerable Sets
Kenneth J. Supowit Paperback
$94.95
Front cover

Guide to Software Verification with Frama-C: Core Components, Usages, and Applications
Nikolai Kosmatov Paperback
$58.50
Front cover

Petri Net Primer: A Compendium on the Core Model, Analysis, and Synthesis
Eike Best Paperback
$94.95