Principles of Model Checking
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