- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783486216370
3486216376
- Maße
-
24 cm
- Umfang
-
169 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graphische Darst.
- Schlagwort
-
Programmverifikation
Programmierung
Bug
Programm
Korrektheit
Beweis
- Ereignis
-
Veröffentlichung
- (wo)
-
München, Wien
- (wer)
-
Oldenbourg
- (wann)
-
1990
- 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:40 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
- Baber, Robert Laurence
- Oldenbourg
Entstanden
- 1990
Ähnliche Objekte (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
Prozessleitsysteme, 2.. Software, Verfügbarkeit, Sicherheit, Expertensysteme
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
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
Prozessleitsysteme, 2.. Software, Verfügbarkeit, Sicherheit, Expertensysteme
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
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
Prozessleitsysteme, 2.. Software, Verfügbarkeit, Sicherheit, Expertensysteme
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
Objektorientierte Modellierung und Programmierung mit C++, Bd. 1.. Grundkonzepte und praktischer Einsatz