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

22 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
$109.50
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
2 formats available
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
$124.50
2 formats available
Front cover

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

First-Order Schemata and Inductive Proof Analysis
Alexander Leitsch Hardcover
$262.95
2 formats available

Multi-valued Logic for Decision-Making Under Uncertainty
Evgeny Kagan Kobo eBook
$249.99 Price reduced from $311.31 to
2 formats available

First-Order Schemata and Inductive Proof Analysis
Alexander Leitsch Kobo eBook
$209.99 Price reduced from $262.15 to
2 formats available

Concise Guide to Fault Tree Analysis: Models, Methods and Algorithms
Mariëlle Stoelinga Kobo eBook
$85.99 Price reduced from $106.49 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
Front cover

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

Causal Discovery: Foundations, Algorithms and Applications
Luis Enrique Sucar Hardcover
$145.95
Front cover

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

Concise Introduction to Alternating-Time Temporal Logics: A Guide for Understanding the Model-Checking Problem
Stéphane Demri Hardcover
$80.50