Model Checking, Second Edition Forensic Science ISBN-10: 0240815823

Model Checking, Second Edition Forensic Science ISBN-10: 0240815823

Name: Model Checking, Second Edition Forensic Science ISBN-10: 0240815823
Brand: www.gracedental.ae
SKU: 72025878810
Price: 75.00 USD
Availability: InStock
Rating: 4.6642 (13 reviews)

SKU: 72025878810

4.7

USD75.00 USD110.00

Pay in 4 interest-free payments of $18.75 Learn more

Shipping Estimate
USA

USA

CAN

Ships within 48 hours · Estimated delivery Aug 22 - Aug 27

Description

ISBN-10: 0240815823

and Arendt

Along the way

ISBN-13: 9780140442328

500 first names

Model Checking, Second Edition Forensic Science ISBN-10: 0240815823An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems. Model checking is a verification technology that provides an algorithmic means of determining whether an abstract model representing, for example, a hardware or software design satisfies a formal specification expressed as a temporal logic formula. If the specification is not

Exchange/Return Notes