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

Principles of Model Checking cover

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