Synchronous Equivalence : Formal Methods for Embedded Systems, Hardcover

Name: Synchronous Equivalence : Formal Methods for Embedded Systems, Hardcover
Price: 123.29 USD
Availability: OutOfStock
Author: Hsieh, Harry; Balarin, Felice; Sangiovanni-Vincentelli, Alberto

by Hsieh, Harry; Balarin, Felice; Sangiovanni-Vincentelli, Alberto

$123 · Offered by eBay · No longer available

Binding: Hardcover
ISBN: 9780792372622
Condition: Fine

Found via Rare Books Intel, a search across rare-book dealers, auction houses and marketplaces worldwide.