Theory of Program Structures: Schemes, Semantics, Verification by Sheila A. GreibachTheory of Program Structures: Schemes, Semantics, Verification by Sheila A. Greibach

Theory of Program Structures: Schemes, Semantics, Verification

bySheila A. Greibach

Paperback | June 1, 1985

Pricing and Purchase Info

$42.35 online 
$51.95 list price save 18%
Earn 212 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

Title:Theory of Program Structures: Schemes, Semantics, VerificationFormat:PaperbackDimensions:364 pagesPublished:June 1, 1985Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540074155

ISBN - 13:9783540074151

Look for similar items by category:

Reviews

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.