
Versandfertig in 1-2 Wochen
PAYBACK Punkte
9 °P sammeln!
Program schemes ¿ basic definitions and concepts.- Program schemes ¿ basic properties.- Structured Programs.- Correctness and program verification.- Decision problems.- Recursion schemes.- Monadic recursion schemes.
Produktbeschreibung
- 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
Herstellerkennzeichnung
Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
ProductSafety@springernature.com
Für dieses Produkt wurde noch keine Bewertung abgegeben. Wir würden uns sehr freuen, wenn du die erste Bewertung schreibst!
Eine Bewertung schreiben
Eine Bewertung schreiben
Andere Kunden interessierten sich für