Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings (Lecture Notes in Computer Science, Band 2517)
von:
John W. O'Leary · Mark D. Aagaard
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-00116-4
ISBN-10: 3-540-00116-6
Springer
· 2008
