Verified Software (English, Gary T. Leavens | Peter O'Hearn | Sriram K. Rajamani)
by Gary T. Leavens | Peter O'Hearn | Sriram K. Rajamani
Delivery options
₹5,508
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,508
Book Details
Publisher
Springer
Language
English
ISBN-13
9783642150562
ISBN-10
364215056X
Author
Gary T. Leavens | Peter O'Hearn | Sriram K. Rajamani
About the Book
Matthew Parkinson.The authorsof these invitedtalks also graciouslyconsented to the publication of accompanying invited papers in this volume.
ISBN: 9783642150562
ISBN-13: 9783642150562
ISBN-10: 364215056X
Frequently Asked Questions
What is the price of Verified Software?
Verified Software starts from ₹5508 at GlowMirror. Available in Paperback.
Who is the author of Verified Software?
Gary T. Leavens | Peter O'Hearn | Sriram K. Rajamani is the author of Verified Software. Browse more books by Gary T. Leavens | Peter O'Hearn | Sriram K. Rajamani 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-9783642150562
🛒 Customers Also Bought
Lagerung Und Schmierung Von Verbrennungsmotoren (English, Josef Affenzeller | Heinz Gläser)
₹5,873
Pricing -- PRAXIS Der Optimalen Preisfindung (English, Thomas T. Nagle | G. M. Larsen | Reed K. Holden)
₹2,875
Kompendium Der Immunologie (English, Miroslav Ferencik | Jozef Rovensky | Vladimir Matha)
₹4,601
Logische Untersuchungen Ergänzungsband Erster Teil (English, Edmund Husserl | Ullrich Melle)
₹5,360
Arbeitsbuch Wirtschaftsinformatik (English, Peter Stahlknecht | Ulrich Hasenkamp | L. Burmester)
₹1,937
Theorie Kollektiver Entscheidungen (English, Walter Bossert | Frank Stehling)
₹3,508Related Products
Allgemeine Staatslehre (English, Georg Jellinek | Walter Jellinek)
₹5,694
HIV Und AIDS (English, Hiv-Arbeitskreis Süd-West)
₹5,694
Learning Abstract Algebra with Isetl (English, Ed Dubinsky | Uri Leron)
₹3,143
Screen- Und Interfacedesign (English, Torsten Stapelkamp)
₹4,380
Laserspektroskopie 1 (English, Wolfgang Demtröder)
₹5,756