Contracts for System Design |
|
| Author:
| Benveniste, Albert
Caillaud, Benoît
Nickovic, Dejan
Passerone, Roberto
Raclet, Jean-Baptiste
Reinkemeier, Philipp
Sangiovanni-Vincentelli, Alberto
Damm, Werner
Henzinger, Thomas A.
Larsen, Kim G. |
| Series title: | Foundations and Trends in Electronic Design Automation Ser. |
| ISBN: | 978-1-68083-402-4 |
| Publication Date: | Mar 2018 |
| Publisher: | Now Publishers
|
| Book Format: | Paperback |
| List Price: | USD $99.00 |
Book Description:
|
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.
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.