Software Engineering 1
Dines Bjørner
₹5,159
VDM '87. VDM - A Formal Method at Work
VDM-Europe Symposium 1987
by Dines Bjørner, Cliff Jones, Michael Mac an Airchinnigh
Springer · 1987 · Paperback
₹5,591
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987 is written by Dines Bjørner, Cliff Jones & others. This paperback edition from Springer (1987) has 422 pages.
Book details
- ISBN-13
- 9783540176541
- ISBN-10
- 3540176543
- Authors
- Dines Bjørner, Cliff Jones, Michael Mac an Airchinnigh
- Publisher
- Springer
- Published
- 1987
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 422
- Language
- English
- Condition
- New
More by Dines Bjørner and related titles
Formal Methods in Programming and Their Applications
Dines Bjørner, Manfred Broy, Igor V. Pottosin
₹5,598
Software Engineering 2
Dines Bjørner
₹2,687
Domain Science and Engineering
Dines Bjrner
₹13,598
Numerical Methods and Applications
Lirkov Ivan Dimov, Stefka Dimova, Natalia Kolkovska
₹5,723
The Psychology of Quality of Life
Joseph Sirgy
₹4,044
Hydrodynamics of Explosion
Valery K. Kedrinskiy, Svetlana Yu Knyazeva
₹4,247
Fachübergreifende Aspekte Der Hämostaseologie V
Eike Martin, Peter Nawroth
₹3,508
Telemedicina
Silvia Selvaggi, Vincenzo Sica
₹4,991
Mapping Data Flows in Azure Data Factory
Mark Kromer
₹3,756
Squamous Cell Head and Neck Cancer
Adelstein D. J.
₹1,905
Environmental Stress and Behavioural Adaptation
John Davenport
₹4,225