Navigation

Springe zum Hauptinhalt
Universitätsbibliothek
Universitätsbibliographie

Eintrag in der Universitätsbibliographie der TU Chemnitz


Heinkel, Ulrich ; Kriesten, Daniel ; Rößler, Marko

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : MBMV 2015 - Tagungsband, Chemnitz, 03. - 04. März 2015


Universität: Technische Universität Chemnitz
Institut: Professur Schaltkreis- und Systementwurf
Dokumentart: Buch (Herausgeberschaft)
ISBN/ISSN: 978-3-944640-34-1
URL/URN: http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-164197
Quelle: Chemnitz : online, 2015. - 182 S.

 

Presseartikel

Soziale Medien

Verbinde dich mit uns: