This is the product description text that will appear here.
Quantity
1
Description
Progress in Theoretical Computer Science O'Hearn, Peter; Tennent, Robert In recent years there has been a remarkable convergence of interest in programming languages based on ALGOL 60. Researchers interested in the theory of procedural and ...