Abstract Software Specifications
D. Bjorner
₹4,560
Towards a Formal Description of ADA
by D. Bjorner, O. N. Oest
₹5,105
Free delivery. Nothing extra to pay at checkout.
- New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
- 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.
From the publisher
Towards a Formal Description of ADA is a carefully curated title by D. Bjorner | O. N. Oest , published by Springer .
Description supplied by the publisher.
Book details
- ISBN-13
- 9783540102830
- ISBN-10
- 3540102833
- Authors
- D. Bjorner, O. N. Oest
- Publisher
- Springer
- Condition
- New
More by D. Bjorner and related titles
The Vienna Development Method
D. Bjorner, C. B. Jones
₹3,013
Experimental Algorithms
Panos M. Pardalos, Steffen Rebennack
₹5,652
Flexibilität Von Personalintensiven Montagesystemen Bei Serienfertigung
H. Vähning
₹3,623
Methods and Tools of Parallel Programming Multicomputers
Ching-Hsien Hsu, Victor Malyshkin
₹5,542
Deutscher Multimedia Kongreß '96
Ulrich Glowalla, Eric Schoop
₹3,508
Logische Syntax Der Sprache
Rudolf Carnap
₹4,237
Introduction to Data Science
Laura Igual
₹3,009
Access Control Systems
Messaoud Benantar
₹5,439
Dimensional Analysis
J. C. Gibbings
₹4,939
Endemic Diseases and Risk Factors for Atherosclerosis in the Far East
Gotthard Schettler
₹4,949
Fundamentals of Artificial Intelligence
Wolfgang Bibel, A. W. Biermann
₹5,536