
Theory of Program Structures
Schemes, Semantics, Verification
Versandkostenfrei!
Versandfertig in 1-2 Wochen
18,99 €
inkl. MwSt.
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.