Katalog der Deutschen Nationalbibliothek

Gesamter Bestand
Musikarchiv
Exilsammlungen
Buchmuseum

Suchformular zurücksetzen  
 
Expertensuche ?
 
eingeschränkt auf
- Materialarten:  Online Ressourcen
Neuigkeiten Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.
 
 

Ergebnis der Suche nach: tit all "Logic grammars."



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1161809023
Art des Inhalts Hochschulschrift
Titel Static Analysis of Pointer Programs - Linking Graph Grammars and Separation Logic / Christina Jansen ; Joost-Pieter Katoen, Marieke Huisman, Thomas Noll
Person(en) Jansen, Christina (Verfasser)
Katoen, Joost-Pieter (Akademischer Betreuer)
Huisman, Marieke (Akademischer Betreuer)
Noll, Thomas (Akademischer Betreuer)
Verlag Aachen : Universitätsbibliothek der RWTH Aachen
Zeitliche Einordnung Erscheinungsdatum: 2017
Umfang/Format Online-Ressource
Hochschulschrift Dissertation, RWTH Aachen University, 2017
Persistent Identifier URN: urn:nbn:de:101:1-2018062708294511224160
DOI: 10.18154/RWTH-2017-09657
URL http://publications.rwth-aachen.de/record/708116 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Schlagwörter Logic* ; Programs* (*maschinell ermittelt)
DDC-Notation 005.1 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration