Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings (Lecture Notes in Computer Science, 1954)
ISBN-13: 9783540412199
ISBN-10: 3540412190
Edition: 2000
Binding: Paperback
Publisher: Springer
Published: 2000-10-18
Best Prices for this Book in New Condition
Best Used Prices
As an Amazon Associate I earn from qualifying purchases.