Refine your search
We were unable to find exact matches based on your search for "bjorner", "a", and "edt".
Closest match to your search
- Perspectives of System Informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2001 Revised PapersBjorner, Dines
- Softcover
- First Edition
- Used
Free Shipping - Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 24.99 - 28, 1996; Proceedings (Lecture Notes in Computer Science)Bjørner, Dines [Editor]; Broy, Manfred [Editor]; Pottosin, Igor V. [Editor];
- Softcover
- Used
US$ 6.99 shipping - 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)Bjorner, Dines [Editor]; Hoare, C.A.R. [Editor]; Langmaack, Hans [Editor];
- Softcover
- Used
US$ 6.99 shipping - The Vienna Development Method: The Meta-Language
- Softcover
- Used
Free Shipping - 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
