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
CA$ 108.99
excl. VAT

Ordered from remote warehouse

Expected delivery Nov 2 - 27
Christmas presents can be returned until 31 January
Get notified about new Jr., Edmund M. Clarke (Carnegie Mellon University) releases

Our customers say:

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

Not rated yet

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)

More from the same publisher

See all of Jr., Edmund M. Clarke (Carnegie Mellon University)