search for books and compare prices
Synchronous Equivalence: Formal Methods for Embedded Systems
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.
Hardcover
from Kluwer Academic Pub (November 1, 2000)
9780792372622 | details & prices | 136 pages | 6.25 × 9.25 × 0.50 in. | 0.85 lbs | List price $149.00