Showing 1 - 3 of 3 Results
1.
Synchronous Equivalence: Formal Methods for Embedded Systems by Harry Hsieh, Felice Balarin... ISBN: 9781461356646 List Price: $139.00
2.
Hardware-Software Co-Design of Embedded Systems: The POLIS Approach (The Springer Internatio... by Felice Balarin, Paolo Giust... ISBN: 9781461378082 List Price: $79.95
3.
Synchronous Equivalence Formal Methods for Embedded Systems by Hsieh, Harry, Balarin, Feli... ISBN: 9780792372622 List Price: $139.00