Model Checking
2298 Kč
Odesíláme do 5 až 7 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..
-
Spotify Teardown
Baaz, Maria Eriksson; Stern, Maria
-
Deep Learning
Kelleher, John D.
-
Reinforcement Learning
Richard Sutton
-
The Sciences of the Artificial
Bangert, Simon Herbert
-
Artificial Unintelligence
Broussard, Meredith
-
Handbook of Game-Based Learning
-
Introduction to Natural Language Pro...
Eisenstein, Jacob (Assistant Professor, 20 Aloha Street)
-
Foundations of Machine Learning
Mohri, Mehryar (New York University); Rostamizadeh, Afshin (Google, Inc.); Talwalkar, Ameet (University of California, B
-
The Deep Learning Revolution
Sejnowski, Terrence J. (Francis Crick Professor, Salk Institute for Biological Studies)
-
How Smart Machines Think
Gerrish, Sean
-
The Little Schemer
Friedman, Daniel
-
Algorithms for Optimization
Kochenderfer, Mykel J.
-
Types and Programming Languages
Pierce, Benjamin A.
-
The Promise of Artificial Intelligence
Smith, Brian
-
Essential Logic for Computer Science
Page, Rex (Professor (Emeritus), University of Oklahoma); Gamboa, Ruben (University of Wyoming)
-
How AI Is Transforming the Organization
Review, MIT Sloan Management (Paul Michelman)