Error-Efficient Computing Systems (Foundations and Trends(r) in Electronic Design Automation)
$96.54
Now Publishers Inc
Contracts for System Design (Foundations and Trends(r) in Electronic Design Automation)
Now Publishers Inc
ISBN13:
9781680834024
$118.38
(No reviews yet)
Write a Review
Now Publishers Inc
Contracts for System Design (Foundations and Trends(r) in Electronic Design Automation)
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
- 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
