Principles of Model Checking
4240 Kč 4 398 Kč
Odesíláme do 3 až 5 dní
Sleva až 70% u třetiny knih
A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises.
| Autor: | Baier, Christel (Technische Universitat Dresden); Katoen, Joost-Pieter (RWTH Aachen University) |
| Nakladatel: | MIT Press Ltd |
| ISBN: | 9780262026499 |
| Rok vydání: | 2008 |
| Jazyk : | Angličtina |
| Vazba: | Hardback |
| Počet stran: | 984 |
Mohlo by se vám také líbit..
-
Made in the USA
Václav Smil
-
Harvesting the Biosphere
Václav Smil
-
Atlas of Poetic Zoology
Pouydebat, Emmanuelle
-
The Promise of Artificial Intelligence
Smith, Brian
-
The Sciences of the Artificial
Bangert, Simon Herbert
-
A Brain for Numbers
Nieder, Andreas (Professor of Animal Physiology, University of Tubingen)
-
Critical Thinking
Haber, Jonathan (Educational Researcher, Degree of Freedom Project)
-
MATERIAL WITNESS
Schuppli, Susan (Senior Research Fellow, Goldsmiths, University of London)
-
The Smart Enough City
Sefton-Green, Julian (Deakin University, Australia); Watkins, S Craig; Kirshner, Ben
-
Deep Learning
Kelleher, John D.
-
Sweet Anticipation
Huron, David (Ohio State University)
-
Urban Code
Mikoleit, Anne; Purckhauer, Moritz
-
Power in a Warming World
Ciplet, David (Assistant Professor, University of Colorado Boulder); Roberts, J. Timmons (Director, Brown University); K
-
Being No One
Metzinger, Thomas
-
State-Space Models with Regime Switc...
Kim, Chang-Hun
-
Musimathics
Loy, Gareth (President, Gareth, Inc., Gareth, Inc.)