Model Checking - Cyber Physical Systems Series - Jr., Edmund M. Clarke (Carnegie Mellon University) - Books - MIT Press Ltd - 9780262038836 - December 4, 2018
In case cover and title do not match, the title is correct

Jr., Edmund M. Clarke (Carnegie Mellon University)
Model Checking - Cyber Physical Systems Series Second edition

Price
$ 76.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping May 27 - Jun 8

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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.

424 pages, 154 b 308 Illustrations, unspecified

Media Books     Hardcover Book   (Book with hard spine and cover)
Released December 4, 2018
ISBN13 9780262038836
Publishers MIT Press Ltd
Pages 424
Dimensions 187 × 236 × 25 mm   ·   828 g
Language English  
Series Editor Belta, Calin (Professor, Boston University)

See all of Jr., Edmund M. Clarke (Carnegie Mellon University) ( e.g. Hardcover Book )