MBMV 2014. Methoden und Beschreibungssprachen zur Modellierung und Verifikation
Allmendinger, Dirk / Michel, Matteo
Erschienen am
01.02.2014, Auflage: 1. Auflage
Zusätzliche Informationen
Zurzeit sind keine weiteren Informationen zu diesem Artikel vorhanden.