✓ Genuine Books — Sourced from Publishers & Authorised Distributors🚚 Free Delivery Across India💳 Cash on Delivery Available↩️ 15-Day Easy Returns🔒 Secure Razorpay Payments📚 5,000+ Titles in Stock⚡ Dispatch in 1–2 Business Days🏅 Customer Support: Mon–Sat, 10am–7pm
✓ Genuine Books — Sourced from Publishers & Authorised Distributors🚚 Free Delivery Across India💳 Cash on Delivery Available↩️ 15-Day Easy Returns🔒 Secure Razorpay Payments📚 5,000+ Titles in Stock⚡ Dispatch in 1–2 Business Days🏅 Customer Support: Mon–Sat, 10am–7pm
Formal Methods and Software Engineering (English, Jin Song Dong | Huibiao Zhu) - Image 1 - GlowMirror

Formal Methods and Software Engineering (English, Jin Song Dong | Huibiao Zhu)

by Jin Song Dong | Huibiao Zhu

Delivery options

₹4,077-65%
MRP:₹11,609Save ₹7,532
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.

65% Off — you save ₹7,532 on this product!

Total: ₹4,077

Book Details

Publisher
Springer
Language
English
ISBN-13
9783642169007
ISBN-10
3642169007
Author
Jin Song Dong | Huibiao Zhu

About the Book

This book constitutes the refereed proceedings of the 12th InternationalConference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China, November 2010. The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on theorem prov…

ISBN: 9783642169007

ISBN-13: 9783642169007
ISBN-10: 3642169007

Frequently Asked Questions

What is the price of Formal Methods and Software Engineering?
Formal Methods and Software Engineering starts from ₹4569 at GlowMirror. Available in Paperback.
Who is the author of Formal Methods and Software Engineering?
Jin Song Dong | Huibiao Zhu is the author of Formal Methods and Software Engineering. Browse more books by Jin Song Dong | Huibiao Zhu on GlowMirror.
Is Formal Methods and Software Engineering available in Paperback and Hardcover?
Yes, Formal Methods and Software Engineering is available in Paperback on GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Formal Methods and Software Engineering?
Yes, GlowMirror offers free delivery for Formal Methods and Software Engineering across India. No minimum order value required.
Is Cash on Delivery available for Formal Methods and Software Engineering?
Yes, Cash on Delivery (COD) is available for Formal Methods and Software Engineering on GlowMirror. You can pay when your order is delivered.
ISBN-10: 3642169007. ISBN-13: 9783642169007. Formal Methods and Software Engineering (English, Jin Song Dong | Huibiao Zhu) by Jin Song Dong | Huibiao Zhu. Available on GlowMirror.
Product ID: isbn-9783642169007