Del 34 i serien Teubner Texte zur Informatik
Semantik und Programmverifikation
Häftad, Tyska, 2001
519 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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
- Utgivningsdatum2001-11-29
- Mått170 x 244 x 12 mm
- Vikt382 g
- FormatHäftad
- SpråkTyska
- SerieTeubner Texte zur Informatik
- Antal sidor211
- Upplaga2001
- FörlagSpringer Fachmedien Wiesbaden
- ISBN9783519003366
Tillhör följande kategorier
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
579 kr
Soziale Arbeit in Psychiatrie und Suchthilfe. Fallbuch
Jeannette Bischkopf, Daniel Deimel, Christoph Walther, Ralf-Bruno Zimmermann
Häftad, 2023
469 kr
Datenschutz und Schweigepflicht in der sozialpsychiatrischen Arbeit
Christoph Walther, Ingo Palsherm
Häftad, 2023
369 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
519 kr
Del 28
Del 30
Del 29
Angewandte Informatik und Formale Beschreibungsverfahren
Georg Lausen, Andreas Oberweis, Gunter Schlageter
Häftad, 1999
679 kr
Del 32
Del 35
Del 36
Del 33
Del 15
Hoppa över listan
Du kanske också är intresserad av
Soziale Arbeit in Psychiatrie und Suchthilfe. Fallbuch
Jeannette Bischkopf, Daniel Deimel, Christoph Walther, Ralf-Bruno Zimmermann
Häftad, 2023
469 kr
Soziale Arbeit in der Psychiatrie. Lehrbuch
Jeannette Bischkopf, Daniel Deimel, Christoph Walther, Ralf-Bruno Zimmermann
Inbunden, 2022
579 kr
Datenschutz und Schweigepflicht in der sozialpsychiatrischen Arbeit
Christoph Walther, Ingo Palsherm
Häftad, 2023
369 kr
Del 10