Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen: MBMV 2012 (Schriftenreihe Forschungsergebnisse zur Informatik)

Forschungsergebnisse

von: Jens Brandt · Klaus Schneider

Taschenbuch

ISBN: 978-3-8300-6201-1

ISBN-10: 3-8300-6201-X

Kovac, Dr. Verlag · 2012