DownloadThe Portobello Bookshop Gift Guide 2024

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

Model Checking cover

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