Skip to content

Booksellers & Trade Customers: Sign up for online bulk buying at trade.atlanticbooks.com for wholesale discounts

Booksellers: Create Account on our B2B Portal for wholesale discounts

Semantik Und Programmverifikation

by Christoph Walther
Save 35% Save 35%
Current price ₹2,608.00
Original price ₹4,012.00
Original price ₹4,012.00
Original price ₹4,012.00
(-35%)
₹2,608.00
Current price ₹2,608.00

Imported Edition - Ships in 12-14 Days

Free Shipping in India on orders above Rs. 500

Request Bulk Quantity Quote
+91
Book cover type: Paperback
  • ISBN13: 9783519003366
  • Binding: Paperback
  • Subject: N/A
  • Publisher: Vieweg+teubner Verlag
  • Publisher Imprint: Vieweg+teubner Verlag
  • Publication Date:
  • Pages: 211
  • Original Price: EUR 35.5
  • Language: German
  • Edition: 2001
  • Item Weight: 350 grams
  • BISAC Subject(s): Engineering (General)

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 praktische Relevanz dieser Grenzen wird diskutiert.

Trusted for over 49 years

Family Owned Company

Secure Payment

All Major Credit Cards/Debit Cards/UPI & More Accepted

New & Authentic Products

India's Largest Distributor

Need Support?

Whatsapp Us