Formal Methods in Computer-Aided Design: Third International Conference | Kaicus Deutschland

Formal Methods in Computer-Aided Design: Third International Conference, Fmcad 2000 Austin, TX, USA, November 2000 Proceedings (Lecture Notes in ... Notes in Computer Science, 1954, Band 1954)

106.99 EUR

Marke: Hunt Jr., Warren A.