Foundations and Trends(r) in Electronic Design Automation

Contracts for System Design by Dejan Nickovic, Benoit Caillaud, Albert Benveniste

Contracts for System Design

Foundations and Trends(r) in Electronic Design Automation

Dejan Nickovic, Benoit Caillaud, Albert Benveniste

296 pages • missing pub info (editions)

nonfiction art technology medium-paced