Livres

Computer Science Foundations and Applied Logic

Ramasser gratuitement à

Trouver en magasin

Faire livrer

Filtres

Ramasser gratuitement à

Trouver en magasin

Faire livrer

22 résultats pour

Trier par ::
Faire livrer
Ramasser gratuitement à:

0 articles

Aucun article trouvé

Try adjusting your filters to see more items.

Concise Guide to Fault Tree Analysis: Models, Methods and Algorithms
Mariëlle Stoelinga Livre numérique Kobo
85,99 $ Réduction sur le prix courant 106,49 $ à
2 formats offerts
Couverture

First-Order Schemata and Inductive Proof Analysis
Alexander Leitsch Couverture rigide
262,95 $
2 formats offerts
Couverture

Concise Guide to Fault Tree Analysis: Models, Methods and Algorithms
Mariëlle Stoelinga Couverture rigide
102,50 $
2 formats offerts
Couverture

Category Theory Using Haskell: An Introduction with Moggi and Yoneda
Shuichi Yukita Couverture rigide
321,50 $
2 formats offerts
Couverture

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas
William M. Farmer Couverture rigide
124,50 $
2 formats offerts
Couverture

Algorithms for Constructing Computably Enumerable Sets
Kenneth J. Supowit Couverture rigide
94,95 $
2 formats offerts
Couverture

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas
William M. Farmer Couverture souple
109,50 $
Couverture

Petri Net Primer: A Compendium on the Core Model, Analysis, and Synthesis
Eike Best Couverture rigide
131,50 $
Couverture

Petri Net Primer: A Compendium on the Core Model, Analysis, and Synthesis
Eike Best Couverture souple
58,50 $
Couverture

Structural Decision Diagrams in Digital Test: Theory and Applications
Raimund Ubar Couverture rigide
364,95 $
2 formats offerts
Couverture

Structural Decision Diagrams in Digital Test: Theory and Applications
Raimund Ubar Couverture souple
58,50 $
Couverture

Algorithms for Constructing Computably Enumerable Sets
Kenneth J. Supowit Couverture souple
94,95 $
Couverture

Guide to Software Verification with Frama-C: Core Components, Usages, and Applications
Nikolai Kosmatov Couverture rigide
102,50 $
2 formats offerts
Couverture

Guide to Software Verification with Frama-C: Core Components, Usages, and Applications
Nikolai Kosmatov Couverture souple
58,50 $
Couverture

Proof Assistants and Their Applications in Mathematics and Computer Science
Jasmin Blanchette Couverture rigide
124,50 $
Couverture

Petri Net Primer: A Compendium on the Core Model, Analysis, and Synthesis
Eike Best Couverture souple
94,95 $
Couverture

Structural Decision Diagrams in Digital Test: Theory and Applications
Raimund Ubar Couverture souple
364,95 $
Couverture

Multi-Valued Logic for Decision-Making Under Uncertainty
Evgeny Kagan Couverture rigide
321,50 $
2 formats offerts
Couverture

Causal Discovery: Foundations, Algorithms and Applications
Luis Enrique Sucar Couverture rigide
145,95 $
Couverture

Guide to Software Verification with Frama-C: Core Components, Usages, and Applications
Nikolai Kosmatov Couverture souple
80,50 $
Couverture

Concise Introduction to Alternating-Time Temporal Logics: A Guide for Understanding the Model-Checking Problem
Stéphane Demri Couverture rigide
80,50 $
Couverture

First-Order Schemata and Inductive Proof Analysis
Alexander Leitsch Couverture rigide
262,95 $
2 formats offerts