ABE-IPSABE HOLDINGABE BOOKS
English Polski
On-line access

Bookstore

BasketYour basket
0.00 PLN
0 products
Bookshelf (0) 
Your bookshelf is empty
Model Checking

Model Checking

Authors
Publisher MIT Press Ltd
Year 04/12/2018
Pages 424
Version hardback
Readership level College/higher education
Language English
ISBN 9780262038836
Categories Computer science
$83.85 (with VAT)
372.75 PLN / €79.92 / £69.38
Qty:
Delivery to United States

check shipping prices
Product to order
Delivery 3-4 weeks
Add to bookshelf

Book description

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.

Model Checking

We also recommend books

Strony www Białystok Warszawa
801 777 223