Christoph Walther

Semantik und Programmverifikation

Auflage 2001. 211 S. Dateigröße in MByte: 18.

pdf eBook , 211 Seiten

ISBN 3322867684

EAN 9783322867681

Veröffentlicht März 2013

Verlag/Hersteller Vieweg+Teubner Verlag

Auch erhältlich als:

Taschenbuch

€ 37,99

€ 33,26 inkl. MwSt.

Auf die Wunschliste

Weitere interessante Themen

Beschreibung

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 Programmiersprachensematik und formaler Logik illustriert. Prinzipielle Grenzen der "automatischen" Verifikation werden untersucht und die praktische Relevanz dieser Grenzen wird diskutiert.

Portrait

Prof. Dr. Christoph Walther, TU Darmstadt

Technik

Sie können dieses eBook zum Beispiel mit den folgenden Geräten lesen:

• tolino Reader

Laden Sie das eBook direkt über den Reader-Shop auf dem tolino herunter oder übertragen Sie das eBook auf Ihren tolino mit einer kostenlosen Software wie beispielsweise Adobe Digital Editions.

• Sony Reader & andere eBook Reader

Laden Sie das eBook direkt über den Reader-Shop herunter oder übertragen Sie das eBook mit der kostenlosen Software Sony READER FOR PC/Mac oder Adobe Digital Editions auf ein Standard-Lesegeräte.

• Tablets & Smartphones