Model Checking
2168 Kč 2 247 Kč
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.
-
Reinforcement Learning
Richard Sutton
-
Machine Learning
Murphy, Kevin P.
-
Value Sensitive Design
Friedman, Batya (University of Washington); Hendry, David G. (Associate Professor, University of Washington)
-
How to Grow a Robot
Greenblatt, Mark Lee
-
The Software Arts
Sack, Warren (Chair + Professor, University of California, Santa Cruz)
-
Principles of Model Checking
Baier, Christel (Technische Universitat Dresden); Katoen, Joost-Pieter (RWTH Aachen University)
-
Java Precisely
Sestoft, Peter (IT University of Copenhagen); Hansen, Henrik I. (University of Copenhagen)
-
International Relations in the Cyber...
Choucri, Nazli (Massachusetts Institute of Technology); Clark, David D. (Senior Research Scientist, MIT)
-
Real-World Algorithms
Louridas, Panos (Athens University of Economics and Business)
-
Introduction to Static Analysis
Rival, Xavier (Research Director, INRIA Paris-Rocquencourt); Yi, Kwangkeun (Professor, Seoul National University)
-
Foundations of Machine Learning
Mohri, Mehryar (New York University); Rostamizadeh, Afshin (Google, Inc.); Talwalkar, Ameet (University of California, B
-
The Little Schemer
Friedman, Daniel
-
The OpenMP Common Core
Munshi, Aaftab; Gaster, Benedict; Mattson, Timothy G.; Fung, James; Ginsburg, Dan
-
Essential Logic for Computer Science
Page, Rex (Professor (Emeritus), University of Oklahoma); Gamboa, Ruben (University of Wyoming)
-
How to Design Programs
Felleisen, Matthias