Theory of Program Structures: Schemes, Semantics, Verification by Sheila A. Greibach
Unfortunately we do not have a summary for this item at the moment
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.
Additional information
NLS9783540074151
9783540074151
3540074155
Theory of Program Structures: Schemes, Semantics, Verification by Sheila A. Greibach
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1985-06-01
370
N/A
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
This is a new book - be the first to read this copy. With untouched pages and a perfect binding, your brand new copy is ready to be opened for the first time