Book titles in this series

Algol-like Languages

Authors:

• Peter O'Hearn
• Robert Tennent

• Copyright: 1997

Available Renditions

• Hard cover
• Soft cover
• eBook

Algol-like Languages

Authors:

• Peter O'Hearn
• Robert Tennent

• Copyright: 1997

Available Renditions

• Hard cover
• Soft cover
• eBook

Canonical Equational Proofs

Authors:

• Bachmair

• Copyright: 1991

Available Renditions

• Soft cover
• Soft cover
• eBook

Nondeterminism in Algebraic Specifications and Algebraic Programs

Authors:

• Hussmann

• Copyright: 1993

Available Renditions

• Hard cover
• Soft cover
• eBook

Verifying Temporal Properties of Systems

Authors:

• J.C. Bradfield

• Copyright: 1992

Available Renditions

• Hard cover
• Soft cover
• eBook

Logic of Domains

Authors:

• G. Zhang

• Copyright: 1991

Available Renditions

• Hard cover
• Soft cover
• eBook

Algorithms for Random Generation and Counting: A Markov Chain Approach

Authors:

• A. Sinclair

• Copyright: 1993

Available Renditions

• Hard cover
• Soft cover
• eBook

Categorical Combinators, Sequential Algorithms, and Functional Programming

Authors:

• P.-L. Curien

• Copyright: 1993

Available Renditions

• Hard cover
• Soft cover
• eBook

Comparative Metric Semantics of Programming Languages

Nondeterminism and Recursion

Authors:

• Franck van Breughel

• Copyright: 1998

Available Renditions

• Hard cover
• Soft cover
• eBook

Complexity Theory of Real Functions

Authors:

• K. Ko

• Copyright: 1991

Available Renditions

• Hard cover
• Soft cover
• eBook