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
US$ 5.95 shipping - Sheila A. Greibach: Theory of Program Structures: Schemes, Semantics, Verification Lecture Notes in Computer Science, 36Goos, G. and J. Hartmanis:
- Softcover
- Used
US$ 18.07 shipping - Methods of Programming : Selected Papers on the CIP-ProjectJuris Hartmanis; Gerhard Goos; M. Wirsing
- Softcover
- Used
Free Shipping - Application and Theory of Petri Nets 1994. Lecture Notes in Computer Science, Volume 815Valette, Robert, ed.
- Softcover
- Used
US$ 4.50 shipping - Application and Theory of Petri Nets 1994
- Softcover
- Used
Free Shipping
