Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings (Lecture Notes in Computer Science (1166), Band 1166)

Proceedings

von: Mandayam Srivas · Albert Camilleri

Taschenbuch

ISBN-13: 978-3-540-61937-6

ISBN-10: 3-540-61937-2

Springer · 2008
Siehe auch (möglicherweise von anderen Autoren):
2008TaschenbuchFormal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings (Lecture Notes in Computer Science, Band 1522)