Korrekte Software : Semantik, Spezifikation, Verifikation und Testen von Programmen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783411160013
3411160012
- Dimensions
-
24 cm
- Extent
-
312 S.
- Language
-
Deutsch
- Notes
-
Literaturverz. S. 299 - 302
- Keyword
-
Programm
Korrektheit
Beweis
- Event
-
Veröffentlichung
- (where)
-
Mannheim, Leipzig, Wien, Zürich
- (who)
-
BI-Wiss.-Verl.
- (when)
-
1993
- 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.06.2025, 2:08 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Kowalk, Wolfgang
- BI-Wiss.-Verl.
Time of origin
- 1993
Other Objects (12)
Pascal, Bd. 2.. Weitere Methoden
Formel- und Aufgabensammlung zur technischen Mechanik, 2.. Elastostatik
Case, [...]. Systeme und Werkzeuge
Formel- und Aufgabensammlung zur technischen Mechanik, 2.. Elastostatik
Physik für Naturwissenschaftler, 1.. Mechanik und Wärmelehre : für Chemiker, Biologen, Geowissenschaftler
Pascal, Bd. 1.. Einführung
Case, [...]. Systeme und Werkzeuge
Pascal, Bd. 3.. Programmierpraxis
Mathematische Grundlagen für Informatiker, Bd. 2.. Lineare Algebra, Analysis und Elemente der Wahrscheinlichkeitstheorie
Analoge und digitale Filter und Systeme, Bd. 1.. Grundlagen
Formel- und Aufgabensammlung zur technischen Mechanik, 1.. Statik
Vorlesungen über Geometrie, Bd. 3.. Metrische Geometrie
Pascal, Bd. 2.. Weitere Methoden
Formel- und Aufgabensammlung zur technischen Mechanik, 2.. Elastostatik
Case, [...]. Systeme und Werkzeuge
Formel- und Aufgabensammlung zur technischen Mechanik, 2.. Elastostatik
Physik für Naturwissenschaftler, 1.. Mechanik und Wärmelehre : für Chemiker, Biologen, Geowissenschaftler
Pascal, Bd. 1.. Einführung
Case, [...]. Systeme und Werkzeuge
Pascal, Bd. 3.. Programmierpraxis
Mathematische Grundlagen für Informatiker, Bd. 2.. Lineare Algebra, Analysis und Elemente der Wahrscheinlichkeitstheorie
Analoge und digitale Filter und Systeme, Bd. 1.. Grundlagen
Formel- und Aufgabensammlung zur technischen Mechanik, 1.. Statik
Vorlesungen über Geometrie, Bd. 3.. Metrische Geometrie
Pascal, Bd. 2.. Weitere Methoden
Formel- und Aufgabensammlung zur technischen Mechanik, 2.. Elastostatik
Case, [...]. Systeme und Werkzeuge
Formel- und Aufgabensammlung zur technischen Mechanik, 2.. Elastostatik
Physik für Naturwissenschaftler, 1.. Mechanik und Wärmelehre : für Chemiker, Biologen, Geowissenschaftler
Pascal, Bd. 1.. Einführung
Case, [...]. Systeme und Werkzeuge
Pascal, Bd. 3.. Programmierpraxis
Mathematische Grundlagen für Informatiker, Bd. 2.. Lineare Algebra, Analysis und Elemente der Wahrscheinlichkeitstheorie
Analoge und digitale Filter und Systeme, Bd. 1.. Grundlagen
Formel- und Aufgabensammlung zur technischen Mechanik, 1.. Statik