Konstruktion guter Algorithmen Sichere und korrekte Software
Das Buch stellt Verfahren vor, die es ermöglichen, sprach- und maschinenunabhängig zu programmieren. Für diese Algorithmen kann zweifelsfrei nachgewiesen werden, daß sie korrekt sind, d. h. genau das leisten, was sie leisten sollen. Es wird auf die Übertragung in gängige Programmiersprachen und auf...
Corporate Author: | |
---|---|
Format: | eBook |
Language: | German |
Published: |
Wiesbaden
Vieweg+Teubner Verlag
1996, 1996
|
Edition: | 1st ed. 1996 |
Series: | Informatik & Praxis
|
Subjects: | |
Online Access: | |
Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- O Prolog
- I Problemorientierte Programmkonstruktion
- II Maschinenabhängige Programmkodierung
- III Exakte Basis
- IV Methodenklassen
- A Zeichenerklärung
- B Programmerklärung
- B.1 Warshall-Algorithmus
- B.2 Algol-Programm
- C Literaturverzeichnis (kleine Auswahl)
- C.1 Allgemeine (Lehr)bücher und Literatur
- C.2 Literatur zu speziellen Themen
- C.3 Weitere Literaturstellen
- D Index