Korrekte Software : Semantik, Spezifikation, Verifikation und Testen von Programmen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783411160013
3411160012
- Maße
-
24 cm
- Umfang
-
312 S.
- Sprache
-
Deutsch
- Anmerkungen
-
Literaturverz. S. 299 - 302
- Schlagwort
-
Programm
Korrektheit
Beweis
- Ereignis
-
Veröffentlichung
- (wo)
-
Mannheim, Leipzig, Wien, Zürich
- (wer)
-
BI-Wiss.-Verl.
- (wann)
-
1993
- 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, 14:08 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Kowalk, Wolfgang
- BI-Wiss.-Verl.
Entstanden
- 1993
Ähnliche Objekte (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