View of Logical Foundations of Computation: Techniques for Reliable and Efficient Programming

Return to Article Details Logical Foundations of Computation: Techniques for Reliable and Efficient Programming Download Download PDF