Verified Software (English, Rajeev Joshi | Peter Müller | Andreas Podelski)
by Rajeev Joshi | Peter Müller | Andreas Podelski
Delivery options
₹5,559
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Dispatched in 1–2 business days. Most orders delivered in 3–12 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹5,559
Book Details
Publisher
Springer
Language
English
ISBN-13
9783642277047
ISBN-10
3642277047
Author
Rajeev Joshi | Peter Müller | Andreas Podelski
About the Book
This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2012, held in Philadelphia, PA, USA, in January 2012. The 20 revised full papers presented together with 2 invited talks and 2 tutorials were carefully revised and selected from 54 initial submissions for inclusion in the book. The goal of the VSTTE conference is to advance the state of the art through the interac…
ISBN: 9783642277047
ISBN-13: 9783642277047
ISBN-10: 3642277047
Frequently Asked Questions
What is the price of Verified Software?
Verified Software starts from ₹5559 at GlowMirror. Available in Paperback.
Who is the author of Verified Software?
Rajeev Joshi | Peter Müller | Andreas Podelski is the author of Verified Software. Browse more books by Rajeev Joshi | Peter Müller | Andreas Podelski on GlowMirror.
Is Verified Software available in Paperback and Hardcover?
Yes, Verified Software is available in Paperback on GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Verified Software?
Yes, GlowMirror offers free delivery for Verified Software across India. No minimum order value required.
Is Cash on Delivery available for Verified Software?
Yes, Cash on Delivery (COD) is available for Verified Software on GlowMirror. You can pay when your order is delivered.
Product ID: isbn-9783642277047
🛒 Customers Also Bought
The Geometry of Syzygies (English, David Eisenbud)
₹4,210
Pressure Ulcer Research (English, Dan L. Bader | Carlijn V. C. Bouten | Denis Colin)
₹5,413
Theoretische Physik 3 (English, Reiner M. Dreizler | Cora S. Lüdde)
₹2,634
Elektrische Maschinen (English, Eckhard Spring)
₹5,074
Digitale Hardware/Software-Systeme (English, Jürgen Teich | Christian Haubelt)
₹2,779
Logische Untersuchungen Ergänzungsband Erster Teil (English, Edmund Husserl | Ullrich Melle)
₹5,360Related Products
Benigne Prostatahyperplasie (English, K. Höfner | C. G. Stief | U. Jonas)
₹4,237
Wo Fehlt´s Uns Denn Heute? Wie Patienten Und Ärzte Besser Miteinander Umgehen Können (English, Christian Schlesiger | Alban Braun)
₹1,573
Arzneiverordnungs-Report 2019 (English, Ulrich Schwabe | Dieter Paffrath | Wolf-Dieter Ludwig)
₹4,965
Valproinsäure (English, Günter Krämer | J. Walden)
₹3,873
Kohärente Optik (English, Werner Lauterborn | Thomas Kurz | Martin Wiesenfeldt)
₹3,508