Practical Formal Methods for Hardware Design (Research Reports Esprit / Project 6128.FORMAT)
von
C. Delgado Kloos
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-62007-5
ISBN-10: 3-540-62007-9
Springer-Verlag