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)
von
Warren A. Hunt Jr.
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-41219-9
ISBN-10: 3-540-41219-0
Springer
· 2000
