My Cart
0
$0.00
Your cart is currently empty
Contracts for System Design (Foundations and Trends(r) in Electronic Design Automation)
Now Publishers Inc
SKU: 9781680834024
20
In Stock
Quick Overview
Contracts for System Design provides unified treatment of the topic that can help put contract-based design in perspective. Contracts are precisely defined and characterized so that they can be used in design methodologies with no ambiguity. | Author: Albert Benveniste, Benoit Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier,...
Secured and trusted checkout with
Related Products
Check items to add to the cart or Select All
Christmas Eggnog Cookbook: Eggnog Drink Recipes and Dishes Flavored with Eggnog (Christmas Cookbook)
Regular Price
$10.26
Sale Price
Regular Price
$20.79
Sale Price
$23.15
- -7%
- New
- -7%
- New
- -7%
- New
- -7%
- New
- -7%
- New
Contracts for System Design provides unified treatment of the topic that can help put contract-based design in perspective. Contracts are precisely defined and characterized so that they can be used in design methodologies with no ambiguity.
- | Author: Albert Benveniste, Benoit Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm, Thomas A. Henzinger, Kim G. Larsen
- | Publisher: Now Publishers Inc
- | Publication Date: Mar 28, 2018
- | Number of Pages: 298 pages
- | Language: English
- | Binding: Paperback
- | ISBN-10: 1680834029
- | ISBN-13: 9781680834024