Felice Balarin
Synchronous Equivalence: Formal Methods for Embedded Systems (Softcover Reprint of the Original 1st 2001)
By
Harry Hsieh
,
Felice Balarin
,
Alberto L Sangiovanni-Vincentelli
Paperback
AED
457
76
AEDĀ 954.00
52% OFF
Turbo
Free Delivery
7 - 8 Apr
Synchronous Equivalence: Formal Methods for Embedded Systems (2001)
By
Harry Hsieh
,
Felice Balarin
,
Alberto L Sangiovanni-Vincentelli
Hardcover
AED
534
55
AEDĀ 783.00
31% OFF
Free Delivery
11 - 21 Apr