Katalog der Deutschen Nationalbibliothek

Neuigkeiten Geänderte Servicezeiten an der Information in Frankfurt am Main: Montag bis Freitag von 9–18 Uhr , Samstag von 10–16 Uhr // Changes to service hours at the Information desk in Frankfurt am Main: Monday to Friday: 9:00–18:00, Saturday: 10:00–16:00
 
 

Ergebnis der Suche nach: idn=972341528



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz http://d-nb.info/972341528
Art des Inhalts Hochschulschrift
Titel Modulare Datentypdefinitionen und ihre Beziehungen zur Logik erster Stufe / von Ralf Treinen
Person(en) Treinen, Ralf (Verfasser)
Zeitliche Einordnung Erscheinungsdatum: [2004]
Umfang/Format Online-Ressource, ca. 1,4 MB
Andere Ausgabe(n) Druckausg.: Treinen, Ralf: Modulare Datentypdefinitionen und ihre Beziehungen zur Logik erster Stufe
Hochschulschrift Saarbrücken, Univ., Diss., 1991
Persistent Identifier URN: urn:nbn:de:bsz:291-scidok-3188
URL http://scidok.sulb.uni-saarland.de/volltexte/2004/318/pdf/RalfTreinen_Prof._Dr.-Ing_Jacques_Loeckx.pdf (kostenfrei zugänglich)
http://scidok.sulb.uni-saarland.de/volltexte/2004/318/index.html (Verlag)
Anmerkungen Langzeitarchivierung gewährleistet
Schlagwörter Modul <Software> ; Softwarewiederverwendung ; Top-down-Verfahren ; Programmverifikation ; Online-Publikation
Modul <Software> ; Datentyp ; Prädikatenlogik ; Stufe 1 ; Modelltheorie ; Unentscheidbarkeit
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <


E-Mail-IconAdministration