BookShops.in
Semantik Und Programmverifikation (English, Christoph Walther)
Engineering

Semantik Und Programmverifikation (English, Christoph Walther)

By Christoph WaltherVieweg+teubner Verlag
₹2,349

Inclusive of all applicable taxes. FREE shipping on all orders.

Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Verified ListingQuality-checked

Available Offers

  • 🚚Free Delivery — Free shipping on all orders
  • 💵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

Book Details

ISBN-139783519003366
ISBN-103519003368

Product Description

About the Book

Dieses Buch behandelt Grundkonzepte der Programmiersprachensemantik anhand einer einfachen funktionalen Programmiersprache. Darauf aufbauend werden die Aufgaben und Probleme bei Nachweis von totaler und partieller Korrektheit einfacher funktionaler Programme behandelt. Insbesondere wird der Bezug zwischen Programmiersprachensemantik und formaler Logik illustriert. Prinzipielle Grenzen der "automatischen" Verifikation werden untersucht und die pra…

ISBN: 9783519003366

Frequently Asked Questions

What is the price of Semantik Und Programmverifikation?
Semantik Und Programmverifikation is available at ₹2,349 on BookShops.in.
Does BookShops.in offer free delivery for Semantik Und Programmverifikation?
FREE delivery on all orders for Semantik Und Programmverifikation.
Is Cash on Delivery available for Semantik Und Programmverifikation?
Yes, Cash on Delivery (COD) is available for Semantik Und Programmverifikation on BookShops.in. Pay when your order arrives.
What is the return policy for Semantik Und Programmverifikation?
BookShops.in offers a 15-day hassle-free return policy for Semantik Und Programmverifikation. Contact us at support@bookshops.in or call +91 81899 68108.
Is Semantik Und Programmverifikation authentic?
Semantik Und Programmverifikation is listed on BookShops.in after verification of product details including ISBN, title, and availability information.

Related Products

View All
Buy The Suburban Villas of Campania and their Social Function (English, Geoff W. Adams) — BookShops.in-28%

Engineering

The Suburban Villas of Campania and their Social Function (English, Geoff W. Adams)

₹4,321₹6,032
Buy Einführung in Soziologische Theorien Der Gegenwart (English, Annette Treibel) — BookShops.in

Engineering

Einführung in Soziologische Theorien Der Gegenwart (English, Annette Treibel)

₹2,155
Buy From Servants to Workers (English, Shireen Adam Ally) — BookShops.in-73%

Engineering

From Servants to Workers (English, Shireen Adam Ally)

₹4,551₹17,134
Buy Damned If You Do (English, Paul Cantor | Joel Johnson | Susan McWilliams Barndt) — BookShops.in-66%

Engineering

Damned If You Do (English, Paul Cantor | Joel Johnson | Susan McWilliams Barndt)

₹4,483₹13,256
Buy Pfeiffer and Mangus's Concepts of Athletic Training (English, Cynthia Trowbridge | Cheryl M. Ferris) — BookShops.in-56%

Engineering

Pfeiffer and Mangus's Concepts of Athletic Training (English, Cynthia Trowbridge | Cheryl M. Ferris)

₹4,889₹10,990
Buy Wins, Losses, and Empty Seats (English, David George Surdam) — BookShops.in

Engineering

Wins, Losses, and Empty Seats (English, David George Surdam)

₹4,613