Theory of program structures : schemes, semantics, verification
Author(s)
Bibliographic Information
Theory of program structures : schemes, semantics, verification
(Lecture notes in computer science, 36)
Springer-Verlag, 1975
- : gw
- : us
Available at / 54 libraries
-
University of Tsukuba Library, Library on Library and Information Science
: gw007.08:L-49:36851009170,881003200
-
Hokkaido University, Faculty and Graduate School of Engineering図書
: GermanyDC16:001.6/L4973520796182
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliography and index
Description and Table of Contents
Table of Contents
Program schemes - basic definitions and concepts.- Program schemes - basic properties.- Structured Programs.- Correctness and program verification.- Decision problems.- Recursion schemes.- Monadic recursion schemes.
by "Nielsen BookData"