Sheila A. Greibach

Theory of Program Structures

Schemes, Semantics, Verification

• Broschiertes Buch

Produktbeschreibung

Program schemes ¿ basic definitions and concepts.- Program schemes ¿ basic properties.- Structured Programs.- Correctness and program verification.- Decision problems.- Recursion schemes.- Monadic recursion schemes.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Lecture Notes in Computer Science 36
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-07415-1
• 1975.
• Seitenzahl: 388
• Erscheinungstermin: 1. Januar 1975
• Englisch
• Abmessung: 235mm x 155mm x 21mm
• Gewicht: 544g
• ISBN-13: 9783540074151
• ISBN-10: 3540074155
• Artikelnr.: 23107948

Inhaltsangabe

Program schemes - basic definitions and concepts.- Program schemes - basic properties.- Structured Programs.- Correctness and program verification.- Decision problems.- Recursion schemes.- Monadic recursion schemes.