Del i serien Teubner Texte zur Informatik
382 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
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
436 kr
Soziale Arbeit in Psychiatrie und Suchthilfe. Fallbuch
Jeannette Bischkopf, Daniel Deimel, Christoph Walther, Ralf-Bruno Zimmermann
Häftad
352 kr
Datenschutz und Schweigepflicht in der sozialpsychiatrischen Arbeit
Christoph Walther, Ingo Palsherm
Häftad
282 kr
Hoppa över listan
Mer från samma serie
Angewandte Informatik und Formale Beschreibungsverfahren
Georg Lausen, Andreas Oberweis, Gunter Schlageter
Häftad
501 kr
Hoppa över listan
Du kanske också är intresserad av
Angewandte Informatik und Formale Beschreibungsverfahren
Georg Lausen, Andreas Oberweis, Gunter Schlageter
Häftad
501 kr