Principles of Model Checking
3166 Kč 3 283 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..
-
Spotify Teardown
Baaz, Maria Eriksson; Stern, Maria
-
The Sciences of the Artificial
Bangert, Simon Herbert
-
Deep Learning
Kelleher, John D.
-
Cloud Computing for Machine Learning...
Hwang, Kai (Professor of Electrical Engineering and Computer Science, University of Southern California)
-
Introduction to Natural Language Pro...
Eisenstein, Jacob (Assistant Professor, 20 Aloha Street)
-
Reinforcement Learning
Richard Sutton
-
Security Requirements Engineering
Dalpiaz, Fabiano (Assistant Professor, Utrecht University); Paja, Elda (University of Trento); Giorgini, Paolo (Universi
-
How Smart Machines Think
Gerrish, Sean
-
The Little Typer
Friedman, Daniel
-
Using MPI
Gropp, William
-
An Introductory Course in Computation...
Miller, Paul B.
-
How AI Is Transforming the Organization
Review, MIT Sloan Management (Paul Michelman)
-
Interactive Task Learning
-
Value Sensitive Design
Friedman, Batya (University of Washington); Hendry, David G. (Associate Professor, University of Washington)
-
From Fingers to Digits
Boden, Margaret A.
-
The Deep Learning Revolution
Sejnowski, Terrence J. (Francis Crick Professor, Salk Institute for Biological Studies)