ISBN Search

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

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

ISBN-13: 9783540412199

ISBN-10: 3540412190

Authors: Warren A. Jr. Hunt; Steven D. Johnson

Binding: Paperback

Publisher: Springer Science & Business Media

Published: 2000-10-18

Sell this book           Buy or Rent?

Best Prices for this Book in New Condition

Compare Even More Offers

As an Amazon Associate we earn from qualifying purchases.