Model Checking
2173 Kč 2 252 Kč
Odesíláme do 1 až 2 týdnů
Sleva až 70% u třetiny knih
An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.
Autor: | Jr., Edmund M. Clarke (Carnegie Mellon University); Grumberg, Orna (Technion); Kroening, Daniel (Oxford University); Pel |
Nakladatel: | MIT Press Ltd |
ISBN: | 9780262038836 |
Rok vydání: | 2018 |
Jazyk : | Angličtina |
Vazba: | Hardback |
Počet stran: | 424 |
Mohlo by se vám také líbit..
-
Deep Learning
Kelleher, John D.
-
Spotify Teardown
Baaz, Maria Eriksson; Stern, Maria
-
Reinforcement Learning
Richard Sutton
-
The Sciences of the Artificial
Bangert, Simon Herbert
-
Machine Learning
Murphy, Kevin P.
-
The Little Schemer
Friedman, Daniel
-
Java Precisely
Sestoft, Peter (IT University of Copenhagen); Hansen, Henrik I. (University of Copenhagen)
-
The AI Advantage
Davenport, Thomas H.
-
How to Design Programs
Felleisen, Matthias
-
Introduction to Static Analysis
Rival, Xavier (Research Director, INRIA Paris-Rocquencourt); Yi, Kwangkeun (Professor, Seoul National University)
-
The Problem With Software
Adams Barry
-
The Software Arts
Sack, Warren (Chair + Professor, University of California, Santa Cruz)
-
Thoughtful Interaction Design
Lowgren, Jonas; Reimer, Bo
-
A Course in Networks and Markets
Pass, Rafael (Assistant Professor, Cornell University)
-
The OpenMP Common Core
Munshi, Aaftab; Gaster, Benedict; Mattson, Timothy G.; Fung, James; Ginsburg, Dan
-
The Little Typer
Friedman, Daniel