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
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