Semantik und Programmverifikation
397 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
Beskrivning
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.
Produktinformation
Utforska kategorier
Mer om författaren
Innehållsförteckning
Hoppa över listan
Mer från samma författare
Soziale Arbeit in der Psychiatrie. Lehrbuch
Jeannette Bischkopf, Daniel Deimel, Christoph Walther, Ralf-Bruno Zimmermann
Inbunden, 2022
443 kr
Datenschutz und Schweigepflicht in der sozialpsychiatrischen Arbeit
Christoph Walther, Ingo Palsherm
Häftad, 2023
287 kr
Hoppa över listan
Mer från samma serie
Del 31
Del 3
Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Häftad, 2012
397 kr
Del 28
Del 30
Del 29
Angewandte Informatik und Formale Beschreibungsverfahren
Georg Lausen, Andreas Oberweis, Gunter Schlageter
Häftad, 1999
519 kr
Del 32
Del 35
Del 36
Del 33
Del 15
Hoppa över listan
Du kanske också är intresserad av
Soziale Arbeit in der Psychiatrie. Lehrbuch
Jeannette Bischkopf, Daniel Deimel, Christoph Walther, Ralf-Bruno Zimmermann
Inbunden, 2022
443 kr
Datenschutz und Schweigepflicht in der sozialpsychiatrischen Arbeit
Christoph Walther, Ingo Palsherm
Häftad, 2023
287 kr