Top 517 steward austin 1794 1860 PDF Book Page 21

book image

Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1–3, 2000 Proceedings

Robert Beers, Rajnish Ghughal, Mark Aagaard (auth.), Warren A. Hunt Jr., Steven D. Johnson (eds.)
·573 Pages
·2000
·5.43 MB