Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

von Rolf Drechsler

Taschenbuch

ISBN: 978-3-8322-1202-5

ISBN-10: 3-8322-1202-7

Shaker · 2003