Formal Verification of Object-Oriented Software (English, Bernhard Beckert | Ferruccio Damiani | Dilian Gurov)
by Bernhard Beckert | Ferruccio Damiani | Dilian Gurov
Delivery options
₹5,031
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,031
Book Details
Publisher
Springer
Language
English
ISBN-13
9783642317613
ISBN-10
3642317618
Author
Bernhard Beckert | Ferruccio Damiani | Dilian Gurov
About the Book
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in October 2011 - organised by COST Action IC0701. The 10 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 19 submissions. Formal software verification has outgrown the area of academic case studies, and in…
ISBN: 9783642317613
ISBN-13: 9783642317613
ISBN-10: 3642317618
Frequently Asked Questions
What is the price of Formal Verification of Object-Oriented Software?
Formal Verification of Object-Oriented Software starts from ₹5031 at GlowMirror. Available in Paperback.
Who is the author of Formal Verification of Object-Oriented Software?
Bernhard Beckert | Ferruccio Damiani | Dilian Gurov is the author of Formal Verification of Object-Oriented Software. Browse more books by Bernhard Beckert | Ferruccio Damiani | Dilian Gurov on GlowMirror.
Is Formal Verification of Object-Oriented Software available in Paperback and Hardcover?
Yes, Formal Verification of Object-Oriented Software is available in Paperback on GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Formal Verification of Object-Oriented Software?
Yes, GlowMirror offers free delivery for Formal Verification of Object-Oriented Software across India. No minimum order value required.
Is Cash on Delivery available for Formal Verification of Object-Oriented Software?
Yes, Cash on Delivery (COD) is available for Formal Verification of Object-Oriented Software on GlowMirror. You can pay when your order is delivered.
Product ID: isbn-9783642317613
🛒 Customers Also Bought
Handbook of Psychobiography (English, William Todd Schultz)
₹10,880
Handbook on Modelling for Discrete Optimization (English, Gautam M. Appa | Leonidas Pitsoulis | H. Paul Williams)
₹12,248
Einführung in Die Betriebswirtschaftslehre (English, Fred G. Becker)
₹2,155
Fourier-Mukai Transforms in Algebraic Geometry (English, D. Huybrechts)
₹19,980
Lebensmittelanalytik (English, H. G. Maier)
₹3,623
A Gentle Course in Local Class Field Theory (English, Pierre Guillot)
₹9,871Related Products
The Dynastinae of the World (English, S. Endrödi)
₹38,485
Angstdiagnostik (English, Jürgen Hoyer | Jürgen Margraf)
₹5,330
Sieve Methods, Exponential Sums, and Their Applications in Number Theory (English, G. R. H. Greaves | G. R. H. Greaves | G. Harman)
₹8,014
An Introduction to Polynomial and Semi-Algebraic Optimization (English, Jean Bernard Lasserre)
₹17,378
International Migration, Remittances, and the Brain Drain (English, Maurice Schiff | Çaglar Özden)
₹3,846