Principles of Model Checking
3159 Kč
Odesíláme do 5 až 7 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..
-
Economics of Regulation and Antitrust
Viscusi, W. Kip (University Distinguished Professor); Vernon, John M.; Harrington, Joseph E., Jr. (Professor of Economic
-
Authors, Users, and Pirates
Meese, James (Lecturer, University of Technology Sydney)
-
Capital Markets Union and Beyond
Allen, Franklin (Nippon Life Professor of Finance and Economics, The Wharton School of the University of Pennsylvania);
-
Energy and Civilization
Václav Smil
-
Harvesting the Biosphere
Václav Smil
-
Power Density
Václav Smil
-
Atlas of Poetic Zoology
Pouydebat, Emmanuelle
-
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
-
Leading in the Digital World
Mukherjee, Amit S.
-
Urban Code
Mikoleit, Anne; Purckhauer, Moritz
-
The Prime Number Conspiracy
-
Photo Forensics
Farid, Hany (Professor of Computer Science, Dartmouth College)
-
Spotify Teardown
Baaz, Maria Eriksson; Stern, Maria
-
How Smart Machines Think
Gerrish, Sean
-
Resonant Games
Klopfer, Eric (Professor and Director of the MIT Scheller Teacher Education Program and Education Arcade, Massachusetts