The Vienna Development Method
D. Bjorner, C. B. Jones
₹3,013
Abstract Software Specifications
1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings
by D. Bjorner
₹4,560
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
Abstract Software Specifications is a carefully curated title by D. Bjorner , published by Springer .
Description supplied by the publisher.
Book details
- ISBN-13
- 9783540100072
- ISBN-10
- 3540100075
- Author
- D. Bjorner
- Publisher
- Springer
- Condition
- New
- Subject
- Computers & Internet
More by D. Bjorner and related titles
Towards a Formal Description of ADA
D. Bjorner, O. N. Oest
₹5,105
JavaScript für Dummies
Sebastian Springer
₹2,073
Handbook of Research on Social Software and Developing Community Ontologies
Stylianos Hatzipanagos, Steven Warburton
₹4,877
Digital Information Processing and Communications
Vaclav Snasael, Jan Platos, Eyas El-Qawasmeh
₹5,470
Computer-Aided Scheduling
Leena Suhl
₹3,143
Jugendliche Computer-Fans
Harald Baerenreiter
₹3,508
The Internet As A Diverse Community
Urs E. Gattiker
₹4,620
Model Checking Software
Dragan Bosnacki, Stefan Leue
₹5,510
The Practical Handbook of Internet Computing
Munindar P. Singh
₹4,894
Software Sizing, Estimation, and Risk Management
Daniel D. Galorath
₹4,595
Computer Aided Systems Theory - Eurocast '93
Franz Pichler, Roberto Moreno Diaz
₹5,608