Harry Hsieh

Popular items by Harry Hsieh

View all offers

Synchronous Equivalence: Formal Methods for Embedded Systems
Hsieh, Harry; Balarin, Felice; Sangiovanni-Vincentelli, Alberto L.

Item prices starting from

� 19.21

View 23 offers

Also find
New, Used
Hardware-Software Co-Design of Embedded Systems: The POLIS Approach: 404 (The Springer International Series in Engineering and Computer Science, 404)
Balarin, F.; Giusto, Paolo; Jurecska, Attila; Passerone, Claudio; Sentovich, Ellen; Tabbara, Bassam; Chiodo, M.; Hsieh,...

Item prices starting from

� 50.61

View 24 offers

Also find
New, Used