Refine your search
We were unable to find exact matches based on your search for "bjorner", and "dinesoest".
Closest match to your search
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
£ 5.24 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
£ 5.24 shipping
Software Engineering 1: Abstraction and Modelling: v. 1 (Texts in Theoretical Computer Science. An EATCS Series)Dines Bjørner- Hardcover
- Used
£ 8.64 shipping
Lecture Notes in Computer Science, Volume 252: VDM '87--A Formal Method at Work, Proceedings of Symposium, March 1987, Brussels, Belgium.Bjorner, D. (Editor); Jones, C. B. (Editor); Mac an Airchinnigh, M. (Editor); Neuhold, E. J. (Editor)- Softcover
- First Edition
- Used
£ 5.44 shipping
The Vienna Development Method: The Meta-Language- Softcover
- Used
Free Shipping
