Books by Felice Balarin
No products found matching the selection.
-20%
Synchronous Equivalence: Formal Methods for Embedded Systems
Alberto L. Sangiovanni-Vincentelli, Felice Balarin, Harry Hsieh
€135.50
€169.38
-20% with code BOOKS
In stock at our supplier
-20%
Synchronous Equivalence: Formal Methods for Embedded Systems
Felice Balarin, Alberto L. Sangiovanni-Vincentelli, Harry Hsieh
€135.50
€169.38
-20% with code BOOKS
In stock at our supplier