A Discipline of Programming

List Price: $94.00
Our Price: $84.60
You Save: 10%

See details and reviews

Adapting Proofs-as-Programs : The Curry-Howard Protocol

Monographs in Computer Science

Our Price: $99.00

See details and reviews

Computer Organization and Design: The Hardware/Software Interface, Third Edition

Click for price!

See details and reviews

Constraint-Based Design Recovery for Software Reengineering : Theory and Experiments

International Series in Software Engineering

Our Price: $255.00

See details and reviews

Constraints in Computational Logics. Theory and Applications : International Summer School, CCL'99 Gif-sur-Yvette, France, Septe

Our Price: $62.95

See details and reviews

Correctness and Completeness

Progress in Theoretical Computer Science

Our Price: $155.00

See details and reviews

Error Control Coding : Fundamentals and Applications

Prentice-Hall Computer Applications in Electrical Engineering Series

Click for price!

See details and reviews

Functional Programming : Practice and Theory

List Price: $64.99
Our Price: $34.95
You Save: 46%

See details and reviews

Introduction to the Theory of Computation, Second Edition

List Price: $160.95
Our Price: $115.60
You Save: 28%

See details and reviews