Hochschulschrift

Praktische Anwendbarkeit mathematisch rigoroser Methoden zum Sicherstellen der Programmkorrektheit

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783110147643
3110147645
Maße
24 cm
Umfang
XV, 236 S.
Sprache
Deutsch
Anmerkungen
Ill.
Zugl.: Darmstadt, Techn. Hochsch., Diss., 1995

Erschienen in
Programmierung komplexer Systeme ; 8

Schlagwort
Softwareentwicklung
Programm
Korrektheit
Beweis

Ereignis
Veröffentlichung
(wo)
Berlin, New York
(wer)
de Gruyter
(wann)
1995
Urheber

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 13:51 MESZ

Datenpartner

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

Objekttyp

  • Hochschulschrift

Beteiligte

Entstanden

  • 1995

Ähnliche Objekte (12)

rigoRosen

Tonträger

rigoRosen

Dies rigorose Leben

Standfoto

Dies rigorose Leben

Dies rigorose Leben

Standfoto

Dies rigorose Leben

Dies rigorose Leben

Standfoto

Dies rigorose Leben

Dies rigorose Leben

Standfoto

Dies rigorose Leben

Dies rigorose Leben

Standfoto

Dies rigorose Leben

Rigorose Fehlerschranken für das Elektronenstrukturproblem

Rigorose Fehlerschranken für das Elektronenstrukturproblem

Rigorose Kunsthändler / Ein Londoner "Kunsthändler"?

Aufsatz

Rigorose Kunsthändler / Ein Londoner "Kunsthändler"?

Datenqualität sicherstellen mit QGIS

zweidimensionales bewegtes Bild

Datenqualität sicherstellen mit QGIS

RIGOROSE WIRKUNGSEVALUIERUNG IN DER DEUTSCHEN ENTWICKLUNGSZUSAMMENARBEIT

RIGOROSE WIRKUNGSEVALUIERUNG IN DER DEUTSCHEN ENTWICKLUNGSZUSAMMENARBEIT

Rigorose Wirkungsevaluierung in der deutschen Entwicklungszusammenarbeit

Rigorose Wirkungsevaluierung in der deutschen Entwicklungszusammenarbeit

Rigorose Wirkungsevaluierung in der deutschen Entwicklungszusammenarbeit

Arbeitspapier | Working paper

Rigorose Wirkungsevaluierung in der deutschen Entwicklungszusammenarbeit

Verbundene Objekte