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