Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten 30.04.2025: Die Lesesäle im Hauptgebäude der Deutschen Nationalbibliothek in Leipzig schließen wegen einer Veranstaltung um 14 Uhr. Der Museums- und der Musiklesesaal sowie der Servicebereich sind bis 18 Uhr geöffnet. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind von 10 bis 18 Uhr geöffnet. // The reading rooms in the main building of the German National Library in Leipzig will close at 14:00 due to an event. The museum reading room, the music reading room and the service area are open until 18.00. The exhibitions of the German Museum of Books and Writing will open from 10:00 to 18:00.
 
 

Ergebnis der Suche nach: idn=1000281396



Treffer 1 von 1 < < > <



Online Ressourcen
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




Treffer 1 von 1
< < > <


E-Mail-IconAdministration