- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
21 cm
- Umfang
-
49 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
- Erschienen in
-
Osnabrücker Schriften zur Mathematik ; H. 23Reihe I, Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Osnabrück
- (wer)
-
Univ., Fachbereich Mathematik/Informatik
- (wann)
-
1989
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 12:20 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Antoniou, Grigoris
- Sperschneider, Volker
- Univ., Fachbereich Mathematik/Informatik
Entstanden
- 1989
Ähnliche Objekte (12)
MISS - Modulares Interaktives Software-System
Modulare Struktur eines Software-Systems
Cardinalities in Software Verification
Automated verification of system requirements and software specifications
Modular Verification of a Modular Specification: Behavioral Types as Program Logics
6th International Workshop on Systems Software Verification (SSV 2011)
Hardware/Software Co-Verification Using the SystemVerilog DPI
Systems and software verification : model checking techniques and tools
Verification-based software-fault detection
Verification-based software-fault detection
Verification-based software-fault detection
Modulares Software-defined Radio
MISS - Modulares Interaktives Software-System
Modulare Struktur eines Software-Systems
Cardinalities in Software Verification
Automated verification of system requirements and software specifications
Modular Verification of a Modular Specification: Behavioral Types as Program Logics
6th International Workshop on Systems Software Verification (SSV 2011)
Hardware/Software Co-Verification Using the SystemVerilog DPI
Systems and software verification : model checking techniques and tools
Verification-based software-fault detection
Verification-based software-fault detection
Verification-based software-fault detection
Modulares Software-defined Radio
MISS - Modulares Interaktives Software-System
Modulare Struktur eines Software-Systems
Cardinalities in Software Verification
Automated verification of system requirements and software specifications
Modular Verification of a Modular Specification: Behavioral Types as Program Logics
6th International Workshop on Systems Software Verification (SSV 2011)
Hardware/Software Co-Verification Using the SystemVerilog DPI
Systems and software verification : model checking techniques and tools
Verification-based software-fault detection
Verification-based software-fault detection
Verification-based software-fault detection