search for books and compare prices
Symbolic Simulation Methods for Industrial Formal Verification
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Sort options: binding | publication date | edition
Hardcover
Book cover for 9781402071034
 
from Kluwer Academic Pub (May 1, 2002)
9781402071034 | details & prices | 176 pages | 6.25 × 9.25 × 0.75 in. | 1.00 lbs | List price $149.00
Paperback
Book cover for 9781461353959
 
Spiral-bound edition from Springer Verlag (October 23, 2012)
9781461353959 | details & prices | 169 pages | List price $149.00