Autorenfreundlich Bücher kaufen?!
Beschreibung
Program schemes ¿ basic definitions and concepts.- Program schemes ¿ basic properties.- Structured Programs.- Correctness and program verification.- Decision problems.- Recursion schemes.- Monadic recursion schemes.
Schemes, Semantics, Verification
Details
| Verlag | Springer Berlin |
| Ersterscheinung | 01. Januar 1975 |
| Maße | 23.5 cm x 15.5 cm |
| Gewicht | 587 Gramm |
| Format | Softcover |
| ISBN-13 | 9783540074151 |
| Seiten | 370 |