Hochschulschrift

Praktische Anwendbarkeit mathematisch rigoroser Methoden zum Sicherstellen der Programmkorrektheit

to connected objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783110147643
3110147645
Dimensions
24 cm
Extent
XV, 236 S.
Language
Deutsch
Notes
Ill.
Zugl.: Darmstadt, Techn. Hochsch., Diss., 1995

Bibliographic citation
Programmierung komplexer Systeme ; 8

Keyword
Softwareentwicklung
Programm
Korrektheit
Beweis

Event
Veröffentlichung
(where)
Berlin, New York
(who)
de Gruyter
(when)
1995
Creator

Table of contents
Rights
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Last update
11.03.2025, 12:27 PM CET

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Object type

  • Hochschulschrift

Associated

Time of origin

  • 1995

Other Objects (12)

Mathematische Propädeutik für Wirtschaftswissenschaftler, 1.. Lineare Algebra

Mathematische Propädeutik für Wirtschaftswissenschaftler, 1.. Lineare Algebra

Vierstellige Tafeln zum praktischen Rechnen in Unterricht und Beruf, Ausg. B.. Mit Anh.: Mathematische Formeln

Vierstellige Tafeln zum praktischen Rechnen in Unterricht und Beruf, Ausg. B.. Mit Anh.: Mathematische Formeln

Vierstellige Tafeln zum praktischen Rechnen in Unterricht und Beruf, Ausg. B.. Mit Anh.: Mathematische Formeln

Vierstellige Tafeln zum praktischen Rechnen in Unterricht und Beruf, Ausg. B.. Mit Anh.: Mathematische Formeln

Vierstellige Tafeln zum praktischen Rechnen in Unterricht und Beruf, Ausg. B.. Mit Anh.: Mathematische Formeln

Vierstellige Tafeln zum praktischen Rechnen in Unterricht und Beruf, Ausg. B.. Mit Anh.: Mathematische Formeln

Mathematische Formelsammlung

Mathematische Formelsammlung

Mathematische Formelsammlung

Mathematische Formelsammlung

Mathematische Formelsammlung

Mathematische Formelsammlung

Vierstellige Tafeln zum praktischen Rechnen in Unterricht und Beruf, Ausg. B.. In neuer Anordng zsgest. Mit Anh.: Mathematische Formeln

Vierstellige Tafeln zum praktischen Rechnen in Unterricht und Beruf, Ausg. B.. In neuer Anordng zsgest. Mit Anh.: Mathematische Formeln

Mathematische Propädeutik für Wirtschaftswissenschaftler

Mathematische Propädeutik für Wirtschaftswissenschaftler

Mathematische Abhandlungen, Bd. 2.

Mathematische Abhandlungen, Bd. 2.

Mathematische Propädeutik für Wirtschaftswissenschaftler

Mathematische Propädeutik für Wirtschaftswissenschaftler

Mathematische Systemtheorie : dynam. Konstruktionen

Mathematische Systemtheorie : dynam. Konstruktionen

Related objects