Principles of Model Checking

Name: Principles of Model Checking
Brand: MIT Press Ltd
SKU: 9780262026499
Price: 105 GBP
Availability: InStock
ISBN: 9780262026499

Joost-Pieter Katoen author Christel Baier author

Format:Hardback

Publisher:MIT Press Ltd

Published:25th Apr '08

Should be back in stock very soon

This non-fiction hardback, "Principles of Model Checking" from Joost-Pieter Katoen & Christel Baier, was published 25th April 2008 by MIT Press Ltd.

ISBN: 9780262026499

Dimensions: 254mm x 203mm x 33mm

Weight: 1882g

984 pages