Hochschulschrift

Fallstudien relationaler Programmentwicklung am Beispiel ausgewählter Graphdurchlaufstrategien

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783897229679
3897229676
Maße
24 cm
Umfang
148 S.
Sprache
Deutsch
Anmerkungen
graph. Darst.
Zugl.: Kiel, Univ., Diss., 2002

Schlagwort
Softwareentwicklung
Programm
Korrektheit
Beweis
Relationenalgebra
Programmverifikation

Ereignis
Veröffentlichung
(wo)
Berlin
(wer)
Logos-Verl.
(wann)
2002
Urheber
Hoffmann, Thorsten

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.03.2025, 12:15 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Hochschulschrift

Beteiligte

  • Hoffmann, Thorsten
  • Logos-Verl.

Entstanden

  • 2002

Ähnliche Objekte (12)