CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 5 of 5 Results
1.
Synchronous Equivalence: Formal Methods for Embedded Systems
Synchronous Equivalence: Formal Methods for Embedded Systems by Harry Hsieh, Felice Balarin... ISBN: 9781461356646 List Price: $139.00
$103.17 (Save 25%)
2.
Hardware-Software Co-Design of Embedded Systems: The POLIS Approach (The Springer Internatio...
Hardware-Software Co-Design of Embedded Systems: The POLIS Approach (The Springer Internatio... by Felice Balarin, Paolo Giust... ISBN: 9781461378082 List Price: $79.95
$158.63
3.
Synchronous Equivalence Formal Methods for Embedded Systems
Synchronous Equivalence Formal Methods for Embedded Systems by Hsieh, Harry, Balarin, Feli... ISBN: 9780792372622 List Price: $139.00
$102.25 (Save 26%)
4.
Hardware-Software Co-Design of Embedded Systems The Polis Approach
Hardware-Software Co-Design of Embedded Systems The Polis Approach by Balarin, Felice, Chiodo, Mi... ISBN: 9780792399360 List Price: $159.00
$158.63
5.
TLM-Driven Design and Verification Methodology
TLM-Driven Design and Verification Methodology by Bailey, Brian, Balarin, Fel... ISBN: 9780557539062 List Price: $110.99

OUT OF STOCK

See Availability on Amazon