Catalog
Search
Search results
Show more results
Contact us
0-800-335-425
Free of charge within Ukraine
7 days a week, 09:00-20:00
Chat on site
Telegram
Viber
Call manager
Send an email
Books
Computing and Information Technology
Fundamentals of computer science
Fundamentals of computer science
Book
Model Checking
Daniel Kroening,
Doron Peled,
Edmund M. Clarke Jr.,
Helmut Veith,
Orna Grumberg
Product code:
20147264
Books
Computing and Information Technology
Fundamentals of computer science
Fundamentals of computer science
Book
Model Checking
Daniel Kroening,
Doron Peled,
Edmund M. Clarke Jr.,
Helmut Veith,
Orna Grumberg
Product code:
20147264
Format
To the waiting list
Book language
Publisher
Year of publication
Category
Fundamentals of computer science
The Future of Computers
Computer science
Details
Author
Daniel Kroening
,
Doron Peled
,
Edmund M. Clarke Jr.
,
Helmut Veith
,
Orna Grumberg
Publisher
MIT Press Ltd
Number of pages
424
Published
2018
Language
English
Illustrations
Not illustrated
Book type
Printed
Binding
Hardcover
Series
Cyber Physical Systems Series
ISBN
9780262038836
Age
For teenagers
Dimensions
178x229x27 мм
Compare size
Code
20147264
Show all
Reviews
Leave review
Do you have any questions?
0-800-335-425
Contact us
Not available
•
Printed book
Download
To the waiting list
