Get the Best Gifts for Dad in Time With Store Pick-Up Shop Father's Day

Theory of Program Structures: Schemes, Semantics, Verification

Add to Wishlist

Theory of Program Structures: Schemes, Semantics, Verification

Paperback(1975)

$24.99

Paperback(1975)
$24.99

SHIP THIS ITEM

Qualifies for Free Shipping
PICK UP IN STORE
Check Availability at Nearby Stores

Available within 2 business hours

Want it Today?
Check Store Availability

Product Details

ISBN-13:	9783540074151
Publisher:	Springer Berlin Heidelberg
Publication date:	01/01/1975
Series:	Lecture Notes in Computer Science , #36
Edition description:	1975
Pages:	370
Product dimensions:	6.10(w) x 9.25(h) x 0.36(d)

Program schemes — basic definitions and concepts.- Program schemes — basic properties.- Structured Programs.- Correctness and program verification.- Decision problems.- Recursion schemes.- Monadic recursion schemes.

From the B&N Reads Blog

Page 1 of

Related collections and offers

Product Details

Table of Contents

Related Subjects

Customer Reviews