- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783929470550
3929470551
- Dimensions
-
21 cm
- Extent
-
X, 149 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Zugl.: Karlsruhe, Univ., Diss., 1997
- Bibliographic citation
-
Edition Versal ; Bd. 5
- Keyword
-
Asynchrones Schaltwerk
Formale Spezifikationstechnik
Verifikation
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Bertz
- (when)
-
1997
- Creator
-
Kohn, Markus
- 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:17 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Kohn, Markus
- Bertz
Time of origin
- 1997
Other Objects (12)
Modellierung und Analyse verzögerungs-unabhängiger Schaltungen mit Petrinetzen
Kultserien und ihre Stars, Bd. 3.. Das Pflichtprogramm
Kultserien und ihre Stars, [Bd. 1]. / Nebst einer "Vorbemerkung eines Serienhelden" von Harry Rowohlt
Kultserien und ihre Stars, [Bd. 1]
Kultserien und ihre Stars, Bd. 2.. Fortsetzung folgt ...
Modularer Entwurf verteilter Systeme mit Petrinetzen
Verification of modal properties using Boolean equation systems
Temporal language of transitions and client server systems
Event detection in active databases
Petrinetzmodelle verteilter Algorithmen : Beweistechnik und Intuition
Kausalität, Nebenläufigkeit und Konflikt : elementare Netzsysteme aus topologisch-relationaler Sicht
Symbolische Analysemethoden für algebraische Petrinetze
Modellierung und Analyse verzögerungs-unabhängiger Schaltungen mit Petrinetzen
Kultserien und ihre Stars, Bd. 3.. Das Pflichtprogramm
Kultserien und ihre Stars, [Bd. 1]. / Nebst einer "Vorbemerkung eines Serienhelden" von Harry Rowohlt
Kultserien und ihre Stars, [Bd. 1]
Kultserien und ihre Stars, Bd. 2.. Fortsetzung folgt ...
Modularer Entwurf verteilter Systeme mit Petrinetzen
Verification of modal properties using Boolean equation systems
Temporal language of transitions and client server systems
Event detection in active databases
Petrinetzmodelle verteilter Algorithmen : Beweistechnik und Intuition
Kausalität, Nebenläufigkeit und Konflikt : elementare Netzsysteme aus topologisch-relationaler Sicht
Symbolische Analysemethoden für algebraische Petrinetze
Modellierung und Analyse verzögerungs-unabhängiger Schaltungen mit Petrinetzen
Kultserien und ihre Stars, Bd. 3.. Das Pflichtprogramm
Kultserien und ihre Stars, [Bd. 1]. / Nebst einer "Vorbemerkung eines Serienhelden" von Harry Rowohlt
Kultserien und ihre Stars, [Bd. 1]
Kultserien und ihre Stars, Bd. 2.. Fortsetzung folgt ...
Modularer Entwurf verteilter Systeme mit Petrinetzen
Verification of modal properties using Boolean equation systems
Temporal language of transitions and client server systems
Event detection in active databases
Petrinetzmodelle verteilter Algorithmen : Beweistechnik und Intuition
Kausalität, Nebenläufigkeit und Konflikt : elementare Netzsysteme aus topologisch-relationaler Sicht