Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings (Lecture Notes in Computer Science (1522), Band 1522)

International

von: Phillip Windley · Ganesh Gopalakrishnan

Taschenbuch

ISBN-13: 978-3-540-65191-8

ISBN-10: 3-540-65191-8

Springer · 2008

Siehe auch (möglicherweise von anderen Autoren):
2008TaschenbuchFormal Methods in Computer-Aided Design: First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings (Lecture Notes in Computer Science, Band 1166)