Refine your search
We were unable to find exact matches based on your search for "goos", "algebraic", "methods", "theory", and "tools".
Closest match to your search
- VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings (Lecture Notes in Computer Science (428))Goos, G.; Hartmanis, J. (editor)
- Softcover
- Used
£ 4.41 shipping - Sheila A. Greibach: Theory of Program Structures: Schemes, Semantics, Verification Lecture Notes in Computer Science, 36Goos, G. and J. Hartmanis:
- Softcover
- Used
£ 13.67 shipping - Sheila A. Greibach: Theory of Program Structures: Schemes, Semantics, Verification Lecture Notes in Computer Science, 36Goos, G. and J. Hartmanis:
- Softcover
- Used
£ 13.67 shipping - Methods of Programming : Selected Papers on the CIP-ProjectJuris Hartmanis; Gerhard Goos; M. Wirsing
- Softcover
- Used
Free Shipping - Methods of Algorithmic Language Implementation.Hartmanis, J and G Goos:
- Softcover
- Used
£ 12.00 shipping
