Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783798321182
- Dimensions
-
21 cm, 337 gr.
- Extent
-
VI, 248 S.
- Notes
-
Ill., graph. Darst.
Beitr. teilw. dt., teilw. engl. - Literaturangaben
- Classification
-
Elektrotechnik, Elektronik
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Univ.-Verl. der TU
- (when)
-
2009
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:27 PM CEST
Data provider
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Gremzow, Carsten
- Informationstechnische Gesellschaft
- Univ.-Verl. der TU
Time of origin
- 2009