Model Checking
Edmund M Clarke Jr author Orna Grumberg author Daniel Kroening author Doron Peled author Helmut Veith author
Format:Hardback
Publisher:MIT Press Ltd
Published:4th Dec '18
Should be back in stock very soon
This non-fiction hardback, "Model Checking" from Edmund M Clarke Jr, Orna Grumberg, Daniel Kroening, Doron Peled & Helmut Veith, was published 4th December 2018 by MIT Press Ltd.
ISBN: 9780262038836
Dimensions: 229mm x 178mm x 27mm
Weight: unknown
424 pages
second edition