Principles of Model Checking 4f424z
3138 Kč 3 254 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 250 Kč 459Kč Do košíku 314y73
-
Friedman, Daniel 1125 Kč 1339Kč Do košíku l5041
-
Richard Sutton 2613 Kč Do košíku 175cy
-
Bangert, Simon Herbert 1008 Kč Do košíku 4z1d2a
-
Kelleher, John D. 338 Kč 434Kč Do košíku 2s2e4k
-
Murphy, Kevin P. 3003 Kč 3114Kč Do košíku 2w73e
-
Louridas, Panos (Athens University of Economics and Business) 1302 Kč 1348Kč Do košíku 585s4q
-
Greenblatt, Mark Lee 713 Kč 849Kč Do košíku 144hs
-
Davenport, Thomas H. 545 Kč 650Kč Do košíku 16c2m
-
Broussard, Meredith 290 Kč 371Kč Do košíku 5j3c4k
-
Sestoft, Peter (IT University of Copenhagen); Hansen, Henrik I. (University of Copenhagen) 1003 Kč 1037Kč Do košíku 7k2w
-
Sack, Warren (Chair + Professor, University of California, Santa Cruz) 1144 Kč 1184Kč Do košíku 2l1b41
-
Felleisen, Matthias 1715 Kč 1776Kč Do košíku 3a1i1l
-
Rival, Xavier (Research Director, INRIA Paris-Rocquencourt); Yi, Kwangkeun (Professor, Seoul National University) 2157 Kč 2236Kč Do košíku 517049
-
Pierce, Benjamin A. 2541 Kč 2634Kč Do košíku 4d5y3z
-
Munshi, Aaftab; Gaster, Benedict; Mattson, Timothy G.; Fung, James; Ginsburg, Dan 1154 Kč 1194Kč Do košíku 3i5n41