✓ 100% Original Books — Direct from Publishers🚚 Free Delivery Across India💳 Cash on Delivery Available↩️ 15-Day Easy Returns🔒 Secure Razorpay Payments📚 Lakhs of Titles in Stock⚡ Fast Dispatch Same Day🏅 Trusted by Indian Readers
✓ 100% Original Books — Direct from Publishers🚚 Free Delivery Across India💳 Cash on Delivery Available↩️ 15-Day Easy Returns🔒 Secure Razorpay Payments📚 Lakhs of Titles in Stock⚡ Fast Dispatch Same Day🏅 Trusted by Indian Readers
Programmentwicklung Und Verifikation (English, Gerald Futschek) - Image 1 - BookBajar

Programmentwicklung Und Verifikation (English, Gerald Futschek)

by Gerald Futschek

Delivery options

₹4,601
100% Genuine Book · Verified Seller
Free Shipping · Ships Today💵 COD Available📦 Delivery in 3-4 days

Available Offers

Free Delivery — Ships same day. Delivery in 3-4 business days.

15-Day Easy Returns — hassle-free return & full refund.

Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.

Total: ₹4,601

Book Details

Publisher
Springer
Language
English
ISBN-13
9783211818671
ISBN-10
3211818677
Author
Gerald Futschek

About the Book

Die entscheidenden Argumente für die Korrektheit eines Programms können am einfachsten schon bei seiner Entwicklung festgehalten werden. Die Methoden, mit denen man den Korrektheitsbeweis Hand in Hand mit der Programmentwicklung führt, werden in diesem Buch beschrieben. Die Programme und die Informationen für die Verifikation werden mit eigens zu diesem Zweck erweiterten Struktogrammen dargestellt. Die Methoden und die zahlreichen Beispiele sind…

ISBN: 9783211818671

ISBN-13: 9783211818671
ISBN-10: 3211818677

Frequently Asked Questions

What is the price of Programmentwicklung Und Verifikation?
Programmentwicklung Und Verifikation starts from ₹4601 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Programmentwicklung Und Verifikation?
Gerald Futschek is the author of Programmentwicklung Und Verifikation. Browse more books by Gerald Futschek on BookBajar.
Is Programmentwicklung Und Verifikation available in Paperback and Hardcover?
Yes, Programmentwicklung Und Verifikation is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Programmentwicklung Und Verifikation?
Yes, BookBajar offers free delivery for Programmentwicklung Und Verifikation across India. No minimum order value required.
Is Cash on Delivery available for Programmentwicklung Und Verifikation?
Yes, Cash on Delivery (COD) is available for Programmentwicklung Und Verifikation on BookBajar. You can pay when your order is delivered.
ISBN-10: 3211818677. ISBN-13: 9783211818671. Buy Programmentwicklung Und Verifikation (English, Gerald Futschek) online. Programmentwicklung Und Verifikation (English, Gerald Futschek) price in India. Gerald Futschek books. Programmentwicklung Und Verifikation (English, Gerald Futschek) best price. Programmentwicklung Und Verifikation (English, Gerald Futschek) free delivery India. Programmentwicklung Und Verifikation (English, Gerald Futschek) BookBajar.
Product ID: isbn-9783211818671