Theory of Program Structures
Schemes, Semantics, Verification
(Sprache: Englisch)
Program schemes ¿ basic definitions and concepts.- Program schemes ¿ basic properties.- Structured Programs.- Correctness and program verification.- Decision problems.- Recursion schemes.- Monadic recursion schemes.
Leider schon ausverkauft
versandkostenfrei
Buch
24.60 €
Produktdetails
Produktinformationen zu „Theory of Program Structures “
Klappentext zu „Theory of Program Structures “
Program schemes ¿ basic definitions and concepts.- Program schemes ¿ basic properties.- Structured Programs.- Correctness and program verification.- Decision problems.- Recursion schemes.- Monadic recursion schemes.
Inhaltsverzeichnis zu „Theory of Program Structures “
Program schemes - basic definitions and concepts.- Program schemes - basic properties.- Structured Programs.- Correctness and program verification.- Decision problems.- Recursion schemes.- Monadic recursion schemes.
Bibliographische Angaben
- Autor: Sheila A. Greibach
- 1st ed. 1975. 2nd printing 1985, 388 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540074155
- ISBN-13: 9783540074151
- Erscheinungsdatum: 01.06.1985
Sprache:
Englisch
Kommentar zu "Theory of Program Structures"
0 Gebrauchte Artikel zu „Theory of Program Structures“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Theory of Program Structures".
Kommentar verfassen