Katalog der Deutschen Nationalbibliothek

Neuigkeiten Am Samstag, 25. April 2026, ist die Deutschen Nationalbibliothek in Frankfurt am Main aufgrund von Wartungsarbeiten geschlossen.
Due to maintenance work the German National Library in Frankfurt will be closed on Saturday, 25 April 2026.
 
Neuigkeiten

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

 
 

Ergebnis der Suche nach: idn=964524708



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/964524708
Art des Inhalts Hochschulschrift
Titel Fallstudien relationaler Programmentwicklung am Beispiel ausgewählter Graphdurchlaufstrategien / vorgelegt von Thorsten Hoffmann
Person(en) Hoffmann, Thorsten (Verfasser)
Verlag Berlin : Logos-Verl.
Zeitliche Einordnung Erscheinungsdatum: 2002
Umfang/Format 148 S. : graph. Darst. ; 24 cm
Hochschulschrift Zugl.: Kiel, Univ., Diss., 2002
ISBN/Einband/Preis 978-3-89722-967-9 kart. : EUR 40.50 (DE), EUR 41.60 (AT), sfr 72.10
3-89722-967-6 kart. : EUR 40.50 (DE), EUR 41.60 (AT), sfr 72.10
Schlagwörter Softwareentwicklung ; Programm ; Korrektheit ; Beweis ; Relationenalgebra ; Programmverifikation
Sachgruppe(n) 28 Informatik, Datenverarbeitung ; 27 Mathematik
Weiterführende Informationen Inhaltsverzeichnis

Frankfurt Signatur: 2002 A 41711
Bereitstellung in Frankfurt
Leipzig Signatur: 2002 A 41711
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration