VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker (English, Soren Prehn | Hans Toetenel)
by Soren Prehn | Hans Toetenel
Delivery options
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker by Soren Prehn | Hans Toetenel is listed under Programming on BookBajar. Full details, specifications and reader reviews are below.
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540548683
ISBN-10
3540548688
Author
Soren Prehn | Hans Toetenel
About the Book
The proceedings of the fourth VDM Symposium are presented here in two volumes. Volume 1 contains invited and contributed papers, reports and abstracts. Volume 2 contains introductory and advanced tutorials. A large number of methods for formal software development besides VDM are presented.
ISBN: 9783540548683
ISBN-13: 9783540548683
ISBN-10: 3540548688
Reader's Guide
What This Book Covers
- ·The main subject matter of VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker
- ·Ideas and detail relevant to Programming
- ·Context that helps make sense of the material as a whole
Best Suited For
Programmers and students learning to build software.
Why It Stands Out
- ·Ships as a genuine physical copy, checked before dispatch
- ·Covered by BookBajar's 15-day return window
Frequently Asked Questions
What is the price of VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker?
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker starts from ₹5598 at BookBajar. Available in Paperback.
Who is the author of VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker?
Soren Prehn | Hans Toetenel is the author of VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker. Browse more books by Soren Prehn | Hans Toetenel on BookBajar.
Is VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker available in Paperback and Hardcover?
Yes, VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker?
Yes, BookBajar offers free delivery for VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker across India. No minimum order value required.
Is Cash on Delivery available for VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker?
Yes, Cash on Delivery (COD) is available for VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker on BookBajar. You can pay when your order is delivered.
What is BookBajar's return policy on VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker?
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker can be returned within 15 days of delivery for a full refund. Reach out to info@bookbajar.in or call +91 9087 410 993 to start a return.
What is the ISBN of VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker?
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker has ISBN 9783540548683 (ISBN-10: 3540548688). Use this to confirm you're ordering the exact edition listed here.
What can I expect from VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker?
About the Book The proceedings of the fourth VDM Symposium are presented here in two volumes. Volume 1 contains invited and contributed papers, reports and abstracts. Volume 2 contains introductory and advanced tutorials.
Product ID: isbn-9783540548683
🛒 Customers Also Bought
Financial Cryptography (English, Rafael Hirschfeld)
₹5,586
Guide to Wireless Network Security (English, John R. Vacca)
₹4,046
Softwaresysteme Und Ihre Modellierung (English, Peter Tabeling)
₹2,269
Developing Statistical Software in FORTRAN 95 (English, David R. Lemmon | Joseph L. Schafer)
₹2,219
Digitale Hardware/Software-Systeme (English, Jürgen Teich | Christian Haubelt)
₹2,779
Computer-Streifzüge (English, Prof Dr Max Jeger)
₹3,508Related Products
Open Internet Security (English, Stephan Fischer | Christoph Rensing | Utz Rödig)
₹3,360
Das Internet Der Dinge (English, Elgar Fleisch | Friedemann Mattern)
₹3,143
Digitale Wasserzeichen (English, Jana Dittmann)
₹2,415
Software-Entwurf Mit UML 2 (English, Jochen Seemann | Jürgen Wolff Von Gudenberg)
₹5,548
Computer Algebra Recipes (English, Richard H. Enns | George C. McGuire)
₹5,637