Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=1000281396
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/1000281396 |
Art des Inhalts | Hochschulschrift |
Titel | Temporal assertions for sequential and concurrent programs / Volker Stolz. [RWTH Aachen, Department of Computer Science] |
Person(en) | Stolz, Volker (Verfasser) |
Ausgabe | [Online-Ausg.] |
Sekundärausgabe | Online-Ausg.: [Aachen] : [Bibliothek der Techn. Hochsch.], 2007. Online-Ressource |
Verlag | Aachen : RWTH Aachen |
Zeitliche Einordnung | Erscheinungsdatum: 2007 |
Umfang/Format | II, 133 S. : graph. Darst. ; 21 cm (PDF) |
Andere Ausgabe(n) | Erscheint auch als Druck-Ausgabe: Stolz, Volker: Temporal assertions for sequential and concurrent programs |
Hochschulschrift | Zugl.: Aachen, Techn. Hochsch., Diss. 2006 |
Persistent Identifier | URN: urn:nbn:de:hbz:82-opus-19771 |
URL | http://darwin.bth.rwth-aachen.de/opus3/volltexte/2007/1977/ (Verlag) (kostenfrei zugänglich) |
Sprache(n) | Englisch (eng) |
Beziehungen | Aachener Informatik-Berichte ; 2007,15 |
Schlagwörter | Assertion ; Temporale Logik |
DDC-Notation | 005.131 [DDC22ger] |
Sachgruppe(n) | 004 Informatik |
Online-Zugriff | Archivobjekt öffnen |
