Programmentwicklung Und Verifikation (English, 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.
Product ID: isbn-9783211818671
🛒 Customers Also Bought
Feminist Theory: From Margin to Center (English, Paperback, bell hooks)
₹2,343
Klingelnberg-Palloid-Spiralkegelräder (English, Walter Krumme)
₹4,188
Das Elektrostahlverfahren (English, St Kriz | F. T. Sisco)
₹5,574
Telematik Im Straßenverkehr (English, Günter Müller | Georg Hohlweg)
₹4,170
Fuzzy Technologien (English, H. -J Zimmermann)
₹4,146
Ventilatoren (English, Bruno Eck)
₹5,622Related Products
Iterative Methods for Approximate Solution of Inverse Problems (English, A. B. Bakushinsky | M. Yu Kokurin)
₹3,817
The Data Center as a Computer (English, Luiz André Barroso | Urs Hölzle | Parthasarathy Ranganathan)
₹5,095
Writing Intimacy Into Feminist Geography (English, Paperback)
₹2,700
Homogeneous Catalysis: Understanding the Art (English, Hardcover)
₹2,700
Fishes of the Dakotas (English, Kathryn E. Schlafke | Matthew D. Wagner | Chelsey A. Pasbrig)
₹3,883