Principles of Model Checking
3182 Kč 3 299 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..
-
An Introductory Course in Computation...
Miller, Paul B.
-
The Promise of Artificial Intelligence
Smith, Brian
-
How AI Is Transforming the Organization
Review, MIT Sloan Management (Paul Michelman)
-
The AI Advantage
Davenport, Thomas H.
-
Spotify Teardown
Baaz, Maria Eriksson; Stern, Maria
-
Java Precisely
Sestoft, Peter (IT University of Copenhagen); Hansen, Henrik I. (University of Copenhagen)
-
The OpenMP Common Core
Munshi, Aaftab; Gaster, Benedict; Mattson, Timothy G.; Fung, James; Ginsburg, Dan
-
Handbook of Game-Based Learning
-
Reinforcement Learning
Richard Sutton
-
An Introduction to Agent-Based Modeling
Wilensky, Uri; Rand, William
-
Algorithms for Optimization
Kochenderfer, Mykel J.
-
Distributed Algorithms
Fokkink, Wan (Professor of theoretical computer science at the Vrije Universiteit Amsterdam, Vrije Universiteit Amsterda
-
Real-World Algorithms
Louridas, Panos (Athens University of Economics and Business)
-
How Smart Machines Think
Gerrish, Sean
-
Model Checking
Jr., Edmund M. Clarke (Carnegie Mellon University); Grumberg, Orna (Technion); Kroening, Daniel (Oxford University); Pel
-
Foundations of Machine Learning
Mohri, Mehryar (New York University); Rostamizadeh, Afshin (Google, Inc.); Talwalkar, Ameet (University of California, B