Principles of Model Checking 6v1j12
3133 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..
-
Baaz, Maria Eriksson; Stern, Maria 257 Kč 473Kč Do košíku o3x2z
-
Kelleher, John D. 348 Kč 449Kč Do košíku 263i60
-
Friedman, Daniel 1125 Kč 1339Kč Do košíku 54722i
-
Murphy, Kevin P. 3003 Kč 3114Kč Do košíku 3i5u1z
-
3538 Kč 3563Kč Do košíku 5u5a
-
Page, Rex (Professor (Emeritus), University of Oklahoma); Gamboa, Ruben (University of Wyoming) 1752 Kč Do košíku 5b4y37
-
Friedman, Daniel 1553 Kč 1609Kč Do košíku u2wg
-
Hwang, Kai (Professor of Electrical Engineering and Computer Science, University of Southern California) 3306 Kč 3428Kč Do košíku 5o267
-
Eisenstein, Jacob (Assistant Professor, 20 Aloha Street) 2153 Kč 2232Kč Do košíku 603667
-
Miller, Paul B. 1568 Kč 1624Kč Do košíku 3h3v4e
-
Dalpiaz, Fabiano (Assistant Professor, Utrecht University); Paja, Elda (University of Trento); Giorgini, Paolo (Universi 1564 Kč 1620Kč Do košíku 6u2d1u
-
Gerrish, Sean 467 Kč 564Kč Do košíku h415y
-
Broussard, Meredith 290 Kč 371Kč Do košíku 1b2p3b
-
Gropp, William 1864 Kč 1931Kč Do košíku 4t29e
-
Bangert, Simon Herbert 1017 Kč Do košíku 3u2w3r
-
Richard Sutton 2660 Kč Do košíku 2o3n6m