Theory of Program Structures

Schemes, Semantics, Verification

Specificaties
Paperback, 370 blz. | Engels
Springer Berlin Heidelberg | 1e druk, 1985
ISBN13: 9783540074151
Rubricering
Springer Berlin Heidelberg 1e druk, 1985 9783540074151
Onderdeel van serie Lecture Notes in Computer Science
€ 28,59
Levertijd ongeveer 9 werkdagen
Gratis verzonden

Specificaties

ISBN13:9783540074151
Taal:Engels
Bindwijze:paperback
Aantal pagina's:370
Uitgever:Springer Berlin Heidelberg
Druk:1

Inhoudsopgave

Program schemes — basic definitions and concepts.- Program schemes — basic properties.- Structured Programs.- Correctness and program verification.- Decision problems.- Recursion schemes.- Monadic recursion schemes.
€ 28,59
Levertijd ongeveer 9 werkdagen
Gratis verzonden

Rubrieken

    Personen

      Trefwoorden

        Theory of Program Structures