Computers & Internet
Formal Verification of Object-Oriented Software (English, Bernhard Beckert | Claude Marché)
₹5,483
Inclusive of all applicable taxes. Free shipping on orders above ₹499, else ₹49 flat.
Quantity:
1
Free DeliveryOn orders above ₹499
15-Day ReturnEasy returns
Verified ListingQuality-checked
Available Offers
- 🚚Free Delivery — Free on orders above ₹499, else ₹49 flat
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Specifications
| Publisher | Springer |
| Language | English |
| ISBN-13 | 9783642180699 |
| ISBN-10 | 3642180698 |
| Author | Bernhard Beckert | Claude Marché |
Product Description
Here on GlowMirror, you'll find Formal Verification of Object-Oriented Software filed under Computers & Internet -- everything you need to know is covered below.
About the Book
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in June 2010 - organised by COST Action IC0701. The 11 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions. Formal software verification has outgrown the area of academic case studies, and indu…
ISBN: 9783642180699
Book Insights
What You'll Learn
- ·Fundamental and advanced concepts in Formal Verification of Object-Oriented Software
- ·Code examples, algorithms, and implementation patterns
- ·Best practices and industry-relevant skills
Who Should Read This
Software developers, IT professionals, computer science students, and tech enthusiasts.
Key Highlights
- ·Brand new physical book delivered across India
- ·15-day hassle-free return policy
Frequently Asked Questions
What is the price of Formal Verification of Object-Oriented Software?
Formal Verification of Object-Oriented Software is available at ₹5,483 on GlowMirror.
Does GlowMirror offer free delivery for Formal Verification of Object-Oriented Software?
GlowMirror offers free delivery on orders above ₹499. For Formal Verification of Object-Oriented Software priced at ₹5,483, you qualify for free shipping.
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 across India. Pay conveniently when your order arrives.
What is the return policy for Formal Verification of Object-Oriented Software?
GlowMirror offers a 15-day hassle-free return policy for Formal Verification of Object-Oriented Software. Returns are free of charge. Contact us at info@glowmirror.in or call +91 99446 78357 to initiate a return.
Is Formal Verification of Object-Oriented Software available in English?
Formal Verification of Object-Oriented Software is available in English on GlowMirror.
Who is the author of Formal Verification of Object-Oriented Software?
Formal Verification of Object-Oriented Software is authored by Bernhard Beckert | Claude Marché.
Who published Formal Verification of Object-Oriented Software?
Formal Verification of Object-Oriented Software is published by Springer.
How many pages does Formal Verification of Object-Oriented Software have?
Page count information for Formal Verification of Object-Oriented Software is available in the specifications section of this page.
How long does it take to read Formal Verification of Object-Oriented Software?
At an average reading speed of 250 words per minute, reading Formal Verification of Object-Oriented Software takes a few hours to a few days depending on reading pace.
What is Formal Verification of Object-Oriented Software about?
About the Book
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in June 2010 - organised by COST Action IC0701. The 11 revised full papers presented togeth...
Is Formal Verification of Object-Oriented Software suitable for beginners?
Whether Formal Verification of Object-Oriented Software is suitable for beginners depends on your background in Computers & Internet. Review the product description and specifications above for details on the target audience and difficulty level.
What edition is Formal Verification of Object-Oriented Software?
Formal Verification of Object-Oriented Software is from the Springer edition/year. Check the specifications section for full edition details.
How do I order Formal Verification of Object-Oriented Software on GlowMirror?
To order Formal Verification of Object-Oriented Software on GlowMirror, click the "Add to Cart" button on this page, proceed to checkout, and choose your preferred payment method — online payment or Cash on Delivery. Delivery takes 2–7 business days across India.
Is Formal Verification of Object-Oriented Software a new or used book?
Formal Verification of Object-Oriented Software listed on GlowMirror is a brand new book in good condition.
Can I get Formal Verification of Object-Oriented Software delivered across India?
Yes, GlowMirror delivers Formal Verification of Object-Oriented Software across India. Use the pincode checker on this page to verify delivery availability to your location.
![Practical Hacking Techniques and Countermeasures [With CDROM] (English, Mark D. Spivey)](/_next/image?url=https%3A%2F%2Fglowmirror.in%2Fimages%2Fproducts%2F9780849370571.webp&w=3840&q=75)
