Model Checking

Doron Peleg author Edmund M Clarke Jr author Orna Grumberg author

Format:Hardback

Publisher:MIT Press Ltd

Published:20th Dec '99

Currently unavailable, and unfortunately no date known when it will be back

Model Checking cover

This non-fiction hardback, "Model Checking" from Doron Peleg, Edmund M Clarke Jr & Orna Grumberg, was published 20th December 1999 by MIT Press Ltd.

ISBN: 9780262032704

Dimensions: 229mm x 178mm x 24mm

Weight: 703g

330 pages