Refine your search
We were unable to find exact matches based on your search for "bjorner", "software", "engineering", "set", and "volume".
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)Bjorner, Dines [Editor]; Hoare, C.A.R. [Editor]; Langmaack, Hans [Editor];
- Softcover
- Used
US$ 6.99 shipping - Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)Bjørner, Dines
- Hardcover
- Used
US$ 11.44 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 - Oriented Matroids (Encyclopedia of Mathematics and Its Applications) (Volume 46)Björner, A et al
- Hardcover
- Used
US$ 18.22 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)Dines Bjorner, C.A.R. Hoare, Hans Langmaack
- Softcover
- Used
US$ 4.50 shipping
