ISBN 1601986602 books & textbook

Rigorous System Design (Foundations and Trends(r) in Electronic Design Automation)

Sifakis, Joseph

Now Publishers /2013-04-15 Paperback / 84 Pages
isbn-10: 1601986602 / isbn-13: 9781601986603