New Directions in Symbolic Model Checking

New Directions in Symbolic Model Checking

by J. D'Orso

Paperback

$44.23 $49.50 Save 11% Current price is $44.23, Original price is $49.5. You Save 11%.

Product Details

ISBN-13: 9789155457815
Publisher: Uppsala University Press
Publication date: 12/28/2003
Series: Uppsala Dissertations from the Faculty O
Pages: 130
Product dimensions: 6.50(w) x 9.50(h) x (d)

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews