Code: 19285025
Model Checking
by Clarke, Edmund M., Jr. (Carnegie Mellon University), Orna (Technion) Grumberg, Daniel (Oxford University) Kroening, Doron (Bar Ilan University) Peled,
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.
- Language:
English - Binding: Hardback
- Number of pages: 424
Publisher: MIT Press Ltd, 2018
- More about this
74.02 €
RRP: 92.46 €
You save 18.44 €
In stock at our supplier
Shipping in 14 - 21 days
You might also like
-
All Tomorrows
19.50 € -19 % -
Knowledge Illusion
12.60 € -25 % -
The Art of How to Train Your Dragon
35.10 € -24 % -
V&A William Morris Recipe Box
17.40 € -24 % -
Aliens Epic Collection: The Original Years Vol. 3
38.41 € -25 % -
EL VIENTO CONOCE MI NOMBRE
14.50 € -5 % -
The Lies We Tell Ourselves: How to Face the Truth, Accept Yourself, and Create a Better Life
11.89 € -24 % -
Babel
21.30 € -29 % -
Propaganda
14.60 € -21 % -
Attachment Theory in Practice
44.41 € -
CANT STOP WONT STOP
16.70 € -24 % -
Amazing Power of Deliberate Intent
14.60 € -25 % -
A Condition Called Love 15
8.49 € -24 % -
Embroidered Crochet
15.40 € -27 % -
Disney Princess Cross-Stitch: 22 Easy-To-Follow Patterns Featuring Ariel, Belle, Jasmine, Mulan, and More!
12.60 € -25 % -
Young Adult ELI Readers - Italian
21.90 € -
HIDDEN
18.10 € -24 % -
Poručník Lady Fiony
9.89 € -16 % -
Search For The Real Self
13.90 € -25 % -
Brief History of Indonesia
12.60 € -24 % -
Haze
9.59 € -9 % -
Twins of Auschwitz
12.70 € -13 % -
Blue Lock - Episode Nagi T01
9.59 € -
Prinzessin Sakura 2in1 05
8.49 € -15 % -
Beginning C++ Game Programming
53.01 € -1 % -
Moje pierwsze pięć lat wspomnienie dzieciństwa
13.40 € -
Ein Leben in eigenen Worten
23.90 € -11 % -
A Summer Spell
6.69 € -20 % -
The Mother Tongue of Architecture: Selected Writing from Kazi Khaleed Ashraf
53.91 € -17 % -
Principles of Model Checking
159.05 € -
The Art of War by Sun Tzu: The Official Edition
10.99 € -6 % -
Portae cum turribus
81.22 € -
Cattive compagnie
12.49 € -
Traditional Architecture
56.51 € -9 % -
Culture and Power in Cultural Studies
134.95 € -
Model Checking Software
51.01 € -7 % -
John Cage-Journeys In Sound
33.50 € -
New Music Business Encyclopedia: A Definitive Guide to Staying Ahead
35.30 € -
Look at me like you love me
52.31 € -
Chronicles of the Parish of Croydon, Surrey, Volume 4
30.60 € -2 % -
Estimular y aprender
23.90 € -9 % -
Acustica Arquitectonica en Espacios Educativos
60.82 € -14 % -
Echiche nke Mmakọ Ewumewu Obibi Mwepụta Ọhụrụ
13.80 € -1 % -
Silicon Nanowire Transistors
81.52 € -7 % -
Fox the Tiger
5.59 € -17 % -
Chinese International Students' Stressors and Coping Strategies in the United States
51.01 € -7 % -
Chasing Shadows
9.69 € -6 % -
17 songs
20.90 € -1 % -
World Heritage and Sustainable Development
61.01 €
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about Model Checking
You get 181 loyalty points
Book synopsis
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.
Book details
Book category Books in English Computing & information technology Computer science
74.02 €
- Full title: Model Checking
- Author: Clarke, Edmund M., Jr. (Carnegie Mellon University), Orna (Technion) Grumberg, Daniel (Oxford University) Kroening, Doron (Bar Ilan University) Peled,
- Language: English
- Binding: Hardback
- Number of pages: 424
- EAN: 9780262038836
- ISBN: 9780262038836
- ID: 19285025
- Publisher: MIT Press Ltd
- Weight: 820 g
- Dimensions: 236 × 187 × 25 mm
- Date of publishing: 04. December 2018
Trending among others
-
Alice and Bob Learn Application Security
36.41 € -25 % -
GDPR For Dummies
21.70 € -25 % -
Lego Christmas Ornaments Book
14.60 € -25 % -
Pattern on the Stone
23 € -
Head First Java: A Brain-Friendly Guide
55.81 € -24 % -
The Soul of A New Machine
14.60 € -25 % -
Dealers of Lightning
14.60 € -21 % -
Windows Internals, Part 2
52.71 € -9 % -
Annotated Turing - A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine
23.40 € -23 % -
Machine Learning with PyTorch and Scikit-Learn
50.31 € -1 % -
Lego Animation Book
14.20 € -27 % -
Make: Tools
18.10 € -24 % -
Learning React
45.91 € -25 % -
Storytelling with Data - Let`s Practice!
27.80 € -29 % -
Spark - The Definitive Guide
58.11 € -24 % -
Structure and Interpretation of Computer Programs
80.72 € -
Distributed Services with Go
39.31 € -20 % -
Algorithmic Trading Systems & Strategies: A New Approach
41.91 € -24 % -
Designing Interfaces
46.11 € -24 % -
Medieval Lego
11.29 € -28 % -
Python for Algorithmic Trading
55.51 € -25 % -
Fundamentals of Business Process Management
55.41 € -
Domain Driven Design Quickly
9.49 € -1 % -
Practical Machine Learning - A New Look at Anomaly Detection
17.50 € -17 % -
Computers & Typesetting, Volume A
74.62 € -
Cybersecurity Blue Team Toolkit
29.70 € -26 % -
Pandas Cookbook
53.01 € -1 % -
Complexity and Real Computation
49.91 € -9 % -
DAX Patterns
31.70 € -24 % -
Programming the BBC micro:bit: Getting Started with MicroPython
16 € -18 % -
White Paper
15.20 € -22 % -
Designing for the Digital Age - How to Create Human-Centered Products and Services
74.62 € -
Spring Microservices in Action
53.61 € -
Professional C# and .NET - 2021 Edition
41.81 € -26 % -
Silberschatz's Operating System Concepts
68.82 € -9 % -
Blue Fox: Arm Assembly Internals and Binary Analys is of Mobile and IoT Devices
31.80 € -25 % -
Python Machine Learning
46.71 € -1 % -
Self-Taught Computer Scientist - The Beginner's Guide to Data Structures & Algorithms
22.80 € -25 % -
Explore Software Defined Radio
20.10 € -
Cambridge International AS and A Level Computer Science Coursebook
69.02 € -
Data Engineering with Apache Spark, Delta Lake, and Lakehouse
46.71 € -1 % -
Quantum Computing for Computer Scientists
95.23 € -
Semantic Modeling for Data
63.62 € -23 % -
Computational Thinking
14.10 € -24 % -
Persuasive Technology
58.71 € -
Certified Enterprise Architect All-in-One Exam Guide
68.12 € -18 % -
Web Analytics 2.0 - The Art of Online Accountability and Science of Customer Centricity
27.70 € -31 % -
Scrum and XP from the Trenches
11.09 € -2 % -
Computer Science: An Overview, Global Edition
114.14 €
Shopping guide
Books by language
Collection points Bratislava a 13466 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
26936 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)