Back

Zoom Roll over image to zoom in

Theory of Program Structures : Schemes, Semantics, Verification (Lecture Notes in Computer Science 36) (1. Aufl. 1985)

Greibach, Sheila A.
48.93 AUD
Member Price
44.04

Product Description

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

XVIII, 370 p.

... Read Full Text

Availability Status

Usually dispatches within 3-4 weeks

While every attempt has been made to ensure stock availability, occasionally we may run out of stock at our stores.

Free domestic shipping on orders over 99.00AUD

Discount is applied at checkout.

Recently Viewed Items

Related Products