Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
Neuigkeiten Am Samstag, 21. September, ist die Deutsche Nationalbibliothek in Leipzig geschlossen.//On Saturday, 21 September, the German National Library in Leipzig will be closed.
 
 

Ergebnis der Suche nach: idn=963266802



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/963266802
Art des Inhalts Hochschulschrift
Titel Integration of verification and testing into compilation systems : concept and case study / vorgelegt von Klaus Didrich
Person(en) Didrich, Klaus (Verfasser)
Zeitliche Einordnung Erscheinungsdatum: 2001
Umfang/Format ca. 1,6 MB
Hochschulschrift Berlin, Techn. Univ., Diss., 2001
Persistent Identifier URN: urn:nbn:de:kobv:83-opus-2275
URL http://edocs.tu-berlin.de/diss/2001/didrich_klaus.pdf
Sprache(n) Englisch (eng)
Schlagwörter Compiler ; Korrektheit ; Beweis ; Konsistenzprüfung ; Algebraische Spezifikation ; Programmverifikation
Sachgruppe(n) 28 Informatik, Datenverarbeitung

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration