Synchronous Equivalence

Name: Synchronous Equivalence: Formal Methods for Embedded Systems
Brand: Springer-Verlag New York Inc.
SKU: 9781461356646
Price: 7773.00 INR
Availability: InStock

Formal Methods for Embedded Systems

by Felice Balarin, Alberto L. Sangiovanni-Vincentelli, Harry Hsieh

Springer-Verlag New York Inc. · 2012

₹7,773

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

About this book

Synchronous Equivalence: Formal Methods for Embedded Systems by Felice Balarin, Alberto L. Sangiovanni-Vincentelli & others is a 136-page book published by Springer-Verlag New York Inc. in 2012.

Topics covered include Systems engineering, Electronic data processing, Engineering and Computer-aided design.