Synchronous Equivalence: Formal Methods for Embedded Systems
| AUTHOR | Balarin, Felice; Sangiovanni-Vincentelli, Alberto L.; Hsieh, Harry |
| PUBLISHER | Springer (11/05/2012) |
| PRODUCT TYPE | Paperback (Paperback) |
Description
Show More
Product Format
Product Details
ISBN-13:
9781461356646
ISBN-10:
1461356644
Binding:
Paperback or Softback (Trade Paperback (Us))
Content Language:
English
More Product Details
Page Count:
136
Carton Quantity:
58
Product Dimensions:
6.14 x 0.33 x 9.21 inches
Weight:
0.49 pound(s)
Country of Origin:
NL
Subject Information
BISAC Categories
Computers | Computer Engineering
Computers | Computer Science
Computers | Hardware - Personal Computers - General
Dewey Decimal:
004.16
List Price $109.99
Your Price
$108.89