Name: Semantik und Programmverifikation (en Alemán)
SKU: 57903328
Price: 42.87 USD
Availability: InStock
Author: Walther Christoph

Selecciona tu país

América

Europa

Resto del mundo

portada Semantik und Programmverifikation (en Alemán)

Semantik und Programmverifikation (en Alemán)

Formato

Libro Físico

Editorial

Vieweg+Teubner Verlag,

Autor

Walther Christoph

Idioma

Alemán

N° páginas

211

Encuadernación

Tapa Blanda

ISBN13

9783519003366

N° edición

2001st

Semantik und Programmverifikation (en Alemán)

Walther Christoph (Autor) · Vieweg+Teubner Verlag, · Tapa Blanda

Libro Nuevo Importado

Envío: 17 a 24 días háb.

$ 85.74$ 42.87

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 42.87

Llega entre el 18 Sep y el 01 Oct a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Semantik und Programmverifikation (en Alemán)"

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.