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
-
Deep Learning
Kelleher, John D.
-
Reinforcement Learning
Richard Sutton
-
Spotify Teardown
Baaz, Maria Eriksson; Stern, Maria
-
The Sciences of the Artificial
Bangert, Simon Herbert
-
Artificial Unintelligence
Broussard, Meredith
-
How AI Is Transforming the Organization
Review, MIT Sloan Management (Paul Michelman)
-
From Fingers to Digits
Boden, Margaret A.
-
The AI Advantage
Davenport, Thomas H.
-
How to Grow a Robot
Greenblatt, Mark Lee
-
The OpenMP Common Core
Munshi, Aaftab; Gaster, Benedict; Mattson, Timothy G.; Fung, James; Ginsburg, Dan
-
The Little Typer
Friedman, Daniel
-
Value Sensitive Design
Friedman, Batya (University of Washington); Hendry, David G. (Associate Professor, University of Washington)
-
Introduction to AI Robotics
Murphy Robin
-
An Introductory Course in Computation...
Miller, Paul B.
-
International Relations in the Cyber...
Choucri, Nazli (Massachusetts Institute of Technology); Clark, David D. (Senior Research Scientist, MIT)