ISBN 9781680834024 books & textbook
Contracts for System Design (Foundations and Trends(r) in Electronic Design Automation)
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
Now Publishers /2018-03-28 Paperback / 296 Pages
isbn-10: 1680834029 / isbn-13: 9781680834024
