Model Checking
18
%
1523 Kč 1 847 Kč
Sleva až 70% u třetiny knih
This presentation of the theory and practice of model checking includes basic as well as state-of-the-art techniques, algorithms and tools, and can be used as an introduction to the subject or a reference for researchers.
| Autor: | Jr., Edmund M. Clarke (Carnegie Mellon University); Grumberg, Orna (Technion); Kroening, Daniel (Oxford University); Pel |
| Nakladatel: | MIT Press Ltd |
| ISBN: | 9780262032704 |
| Rok vydání: | 1999 |
| Jazyk : | Angličtina |
| Vazba: | Hardback |
| Počet stran: | 330 |
Mohlo by se vám také líbit..
-
Model Checking
Jr., Edmund M. Clarke (Carnegie Mellon University); Grumberg, Orna (Technion); Kroening, Daniel (Oxford University); Pel
-
Spotify Teardown
Baaz, Maria Eriksson; Stern, Maria
-
Reinforcement Learning
Richard Sutton
-
Artificial Unintelligence
Broussard, Meredith
-
The Sciences of the Artificial
Bangert, Simon Herbert
-
Deep Learning
Kelleher, John D.
-
Machine Learning
Murphy, Kevin P.
-
Handbook of Game-Based Learning
-
Security Requirements Engineering
Dalpiaz, Fabiano (Assistant Professor, Utrecht University); Paja, Elda (University of Trento); Giorgini, Paolo (Universi
-
Introduction to Natural Language Pro...
Eisenstein, Jacob (Assistant Professor, 20 Aloha Street)
-
Using MPI
Gropp, William
-
How Smart Machines Think
Gerrish, Sean
-
The Deep Learning Revolution
Sejnowski, Terrence J. (Francis Crick Professor, Salk Institute for Biological Studies)
-
An Introduction to Agent-Based Modeling
Wilensky, Uri; Rand, William
-
The Promise of Artificial Intelligence
Smith, Brian
-
Distributed Algorithms
Fokkink, Wan (Professor of theoretical computer science at the Vrije Universiteit Amsterdam, Vrije Universiteit Amsterda