- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
162 Bl. in getr. Zählung
- Language
-
Deutsch
- Notes
-
Berlin, Humboldt-Univ., Math.-Naturwiss. Fak., Diss. A, 1979. (Nicht f.d. Austausch.)
- Creator
-
Bothe, Klaus
- 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.0020, 12:47 PM CET
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
- Bothe, Klaus
Other Objects (12)
Verifikation abstrakter Zustandsmaschinen
Verifikation abstrakter Zustandsmaschinen
Verifikation abstrakter Zustandsmaschinen
Modulare Spezifikation und Verifikation objektbasierter Programme
Zur leistungsberücksichtigenden Spezifikation und Verifikation von Kommunikationssystemen
Spezifikation und Verifikation von Optimierungsalgorithmen für imperative Programme
Softwaretechnologie : Entwurf - Spezifikation - Verifikation
Spezifikation und Verifikation von Kommunikationsprotokollen mit Weg-Zeit-Diagramm
Spezifikation, Implementierung und Verifikation von Kommunikationsdiensten für verteilte DV-Systeme
Spezifikation, Verifikation, Leistungsbewertung und Implementierung von Kommunikationsprotokollen mit hierarchischen High-Level-Netzen
Digitale Hardware-Software-Systeme : Spezifikation und Verifikation
Verifikation von Worthypothesen
Verifikation abstrakter Zustandsmaschinen
Verifikation abstrakter Zustandsmaschinen
Verifikation abstrakter Zustandsmaschinen
Modulare Spezifikation und Verifikation objektbasierter Programme
Zur leistungsberücksichtigenden Spezifikation und Verifikation von Kommunikationssystemen
Spezifikation und Verifikation von Optimierungsalgorithmen für imperative Programme
Softwaretechnologie : Entwurf - Spezifikation - Verifikation
Spezifikation und Verifikation von Kommunikationsprotokollen mit Weg-Zeit-Diagramm
Spezifikation, Implementierung und Verifikation von Kommunikationsdiensten für verteilte DV-Systeme
Spezifikation, Verifikation, Leistungsbewertung und Implementierung von Kommunikationsprotokollen mit hierarchischen High-Level-Netzen
Digitale Hardware-Software-Systeme : Spezifikation und Verifikation
Verifikation von Worthypothesen
Verifikation abstrakter Zustandsmaschinen
Verifikation abstrakter Zustandsmaschinen
Verifikation abstrakter Zustandsmaschinen
Modulare Spezifikation und Verifikation objektbasierter Programme
Zur leistungsberücksichtigenden Spezifikation und Verifikation von Kommunikationssystemen
Spezifikation und Verifikation von Optimierungsalgorithmen für imperative Programme
Softwaretechnologie : Entwurf - Spezifikation - Verifikation
Spezifikation und Verifikation von Kommunikationsprotokollen mit Weg-Zeit-Diagramm
Spezifikation, Implementierung und Verifikation von Kommunikationsdiensten für verteilte DV-Systeme
Spezifikation, Verifikation, Leistungsbewertung und Implementierung von Kommunikationsprotokollen mit hierarchischen High-Level-Netzen
Digitale Hardware-Software-Systeme : Spezifikation und Verifikation