Delivery included to the United States

Model Checking

Model Checking - The Cyber-Physical Systems Series

Second edition

Hardback (21 Dec 2018)

  • $78.19
Add to basket

Includes delivery to the United States

2 copies available online - Usually dispatched within two working days

Publisher's Synopsis

Book information

ISBN: 9780262038836
Publisher: The MIT Press
Imprint: The MIT Press
Pub date:
Edition: Second edition
DEWEY: 004.21
DEWEY edition: 23
Language: English
Number of pages: 424
Weight: 828g
Height: 236mm
Width: 187mm
Spine width: 25mm