Bücher online kaufen
Wissen, was kommt.
Mein Konto-
Merkzettel 
Novilisten
Zuletzt gesehen
Warenkorb
-
19.10.2010Computational logic is a fast-growing field with applications in artificial intelligence, constra...
-
Computational logic is a fast-growing field with applications in artificial intelligence, constra...
-
17.10.2012
Reactive systems are computing systems which are interactive, such as real-time systems, operatin...
-
04.08.1995
This book is about the verification of reactive systems. A reactive system is a system that maint...
-
22.08.2012
This book is about the verification of reactive systems. A reactive system is a system that maint...
-
18.12.1991
Reactive systems are computing systems which are interactive, such as real-time systems, operatin...
-
24.12.2003
With the objective of making into a science the art of verifying computer programs (debugging), t...
- 1