- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783486216370
3486216376
- Dimensions
-
24 cm
- Extent
-
169 S.
- Language
-
Deutsch
- Notes
-
graphische Darst.
- Keyword
-
Programmverifikation
Programmierung
Bug
Programm
Korrektheit
Beweis
- Event
-
Veröffentlichung
- (where)
-
München, Wien
- (who)
-
Oldenbourg
- (when)
-
1990
- 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, 1:40 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
- Baber, Robert Laurence
- Oldenbourg
Time of origin
- 1990
Other Objects (12)
Analyse und Verifikation von Programmen : systemat. Verfahren u. Untersuchungen zur Erstellung fehlerfreier Software
Informatik, [...]. Algorithmen und ihre Programmierung
Informatik, [...]. Algorithmen und ihre Programmierung
Informatik, [...]. Algorithmen und ihre Programmierung in Pascal
Einführung in die moderne Finanzbuchführung : Grundlagen d. Buchungs- u. Abschlusstechnik u.d. EDV-Programmierung von Buchungs-Software
Grundlagen funktionaler Programmierung
Programmierung von Echtzeitsystemen
Einführung in die moderne Finanzbuchführung : Grundlagen der Buchungs- und Abschlusstechnik und der EDV-Programmierung von Buchungs-Software
Einführung in die moderne Finanzbuchführung : Grundlagen der Buchungs- und Abschlusstechnik und der EDV-Programmierung von Buchungs-Software
Prozessleitsysteme, 2.. Software, Verfügbarkeit, Sicherheit, Expertensysteme
Objektorientierte Modellierung und Programmierung mit C++, Bd. 1.. Grundkonzepte und praktischer Einsatz
Objektorientierte Modellierung und Programmierung mit C++, Bd. 2.. Fortgeschrittene Techniken und Design-Patterns
Analyse und Verifikation von Programmen : systemat. Verfahren u. Untersuchungen zur Erstellung fehlerfreier Software
Informatik, [...]. Algorithmen und ihre Programmierung
Informatik, [...]. Algorithmen und ihre Programmierung
Informatik, [...]. Algorithmen und ihre Programmierung in Pascal
Einführung in die moderne Finanzbuchführung : Grundlagen d. Buchungs- u. Abschlusstechnik u.d. EDV-Programmierung von Buchungs-Software
Grundlagen funktionaler Programmierung
Programmierung von Echtzeitsystemen
Einführung in die moderne Finanzbuchführung : Grundlagen der Buchungs- und Abschlusstechnik und der EDV-Programmierung von Buchungs-Software
Einführung in die moderne Finanzbuchführung : Grundlagen der Buchungs- und Abschlusstechnik und der EDV-Programmierung von Buchungs-Software
Prozessleitsysteme, 2.. Software, Verfügbarkeit, Sicherheit, Expertensysteme
Objektorientierte Modellierung und Programmierung mit C++, Bd. 1.. Grundkonzepte und praktischer Einsatz
Objektorientierte Modellierung und Programmierung mit C++, Bd. 2.. Fortgeschrittene Techniken und Design-Patterns
Analyse und Verifikation von Programmen : systemat. Verfahren u. Untersuchungen zur Erstellung fehlerfreier Software
Informatik, [...]. Algorithmen und ihre Programmierung
Informatik, [...]. Algorithmen und ihre Programmierung
Informatik, [...]. Algorithmen und ihre Programmierung in Pascal
Einführung in die moderne Finanzbuchführung : Grundlagen d. Buchungs- u. Abschlusstechnik u.d. EDV-Programmierung von Buchungs-Software
Grundlagen funktionaler Programmierung
Programmierung von Echtzeitsystemen
Einführung in die moderne Finanzbuchführung : Grundlagen der Buchungs- und Abschlusstechnik und der EDV-Programmierung von Buchungs-Software
Einführung in die moderne Finanzbuchführung : Grundlagen der Buchungs- und Abschlusstechnik und der EDV-Programmierung von Buchungs-Software
Prozessleitsysteme, 2.. Software, Verfügbarkeit, Sicherheit, Expertensysteme
Objektorientierte Modellierung und Programmierung mit C++, Bd. 1.. Grundkonzepte und praktischer Einsatz