Model Checking

Product form

£999.99

Includes FREE delivery

A Hardback by Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening

Quantity

Out of stock

 

 

View other formats and editions of Model Checking by Edmund M. Clarke Jr.

Publisher: MIT Press Ltd
Publication Date: Publication Date: 04/12/2018
ISBN13: 9780262038836, 978-0262038836
ISBN10: 0262038838