VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Procee
Soren Prehn, Hans Toetenel
₹5,383
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker
by Soren Prehn, Hans Toetenel
Springer · 1991 · Paperback
₹5,598
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–5 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns.
- Express shipping. Same-day dispatch (Monday to Saturday), delivered all over India in 3–5 days.
Offer
Use code GIG9 at checkout and pay ₹5,098 for this book (save ₹500).
9% off every book, up to ₹500 off per order.
About this book
VDM '91. Formal Software Development Methods.It belongs to the Lecture notes in computer science series.
Topics covered include Computer software, Congresses, Development and Logic design.
Book details
- ISBN-13
- 9783540548683
- ISBN-10
- 3540548688
- Authors
- Soren Prehn, Hans Toetenel
- Publisher
- Springer
- Published
- 1991
- Series
- Lecture notes in computer science
- Binding
- Paperback
- Pages
- 430
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Soren Prehn and related titles
Tapsoft '89
Josep Diaz, Fernando Orejas
₹5,576
Practical Programmable Circuits
James D. Broesch
₹3,982
Abstraction, Reformulation, and Approximation
SARA 2007 (2007 Whistler, B.C.)
₹4,222
Model Checking Software
Sriram K. Rajamani
₹4,264
Field-Programmable Logic, Smart Applications, New Paradigms and Compilers
Reiner W. Hartenstein, Manfred Glesner
₹5,596
Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky
₹4,242
Rewriting Logic and Its Applications
Santiago Escobar
₹3,763
Typed Lambda Calculi and Applications
Marc Bezem, Jan F. Groote
₹5,663
Digital Design
M. Morris Mano, Michael Ciletti
₹4,665
Zum '95
Jonathan P. Bowen, Michael G. Hinchey
₹5,296
Formal Methods
Jim Davies, Leila Silva, Adenilso Simao
₹5,534