2027237
9789155457815
New Directions in Symbolic Model Checking
by D'Orso, Julien
Out of Stock
The item you're looking for is currently unavailable.
Product details
- ISBN-13: 9789155457815
- ISBN: 9155457819
- Publication Date: 2003
- Publisher: Uppsala Universitet/Acta Universitatis Uppsaliensis
AUTHOR
SUMMARY
"This is a Ph.D. dissertation. In today's computer engineering, requirements for generally high reliability have pushed the notion of testing to its limits. Many disciplines are moving, or have already moved, to more formal methods to ensure correctness. T"D'Orso, Julien is the author of 'New Directions in Symbolic Model Checking', published 2003 under ISBN 9789155457815 and ISBN 9155457819.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
