Model Checking
A Hardback by Jr. Edmund M. Clarke, Orna Grumberg, Daniel Kroening
£999.99
Includes FREE delivery
Trusted by thousands of customers. See 2,385+ Customer Reviews
View other formats and editions of Model Checking by Jr. Edmund M. Clarke
Book details
Publisher
MIT Press
Published
4 December 2018
ISBN-13
9780262038836
978-0262038836
978-0262038836
ISBN-10
0262038838
Also in:
Computer science
Computer science