Pay in 4 interest-free payments of $18.75 Learn more
Ships within 48 hours · Estimated delivery Aug 5 - Aug 10
a hotel in Southern Spain
500 first names
ISBN-10: 0240815823
Integrating the results of previous work
Model Checking, Second Edition Forensic Science a hotel in Southern SpainAn 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
US$ 27.50
US$ 52.80
US$ 36.00
US$ 104.95
US$ 133.90
US$ 15.00
US$ 18.00
US$ 22.00
