Vor Ort
Merkzettel Warenkorb
Produktbild: Semantik und Programmverifikation
Band 34

Semantik und Programmverifikation

Aus der Reihe Teubner Texte zur Informatik

39,90 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

29.11.2001

Verlag

Vieweg & Teubner

Seitenzahl

211

Maße (L/B/H)

24,4/17/1,2 cm

Gewicht

382 g

Auflage

2001

Sprache

Deutsch

ISBN

978-3-519-00336-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

29.11.2001

Verlag

Vieweg & Teubner

Seitenzahl

211

Maße (L/B/H)

24,4/17/1,2 cm

Gewicht

382 g

Auflage

2001

Sprache

Deutsch

ISBN

978-3-519-00336-6

Herstelleradresse

Vieweg+Teubner Verlag
Abraham-Lincoln-Straße 46
65189 Wiesbaden
DE

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

Weitere Artikel finden Sie in
  • Produktbild: Semantik und Programmverifikation
  • 1 Formale Grundlagen.- 1.1 Syntax der Prädikatenlogik 1. Stufe.- 1.2 Semantik der Sprache 1. Stufe.- 1.3 Fundierte Mengen.- 1.4 Konstruktion fundierter Mengen.- 1.5 Konfluente Relationen.- 2 Funktionale Programme.- 2.1 Die Programmiersprache FP.- 2.2 Operationale Semantik von FP.- 2.3 Denotationale Semantik von FP.- 2.4 Äquivalenz von operationaler und denotationaler Semantik.- 2.5 Erweiterung von FP um Datenstrukturen.- 2.6 Alternativen der Parameterübergabe.- 2.7 Elimination von gegenseitiger Rekursion.- 3 Verifikation funktionaler Programme.- 3.1 Terminierung funktionaler Programme.- 3.2 Normal- und Tail-Rekursive Funktionsprozeduren.- 3.3 Spezifikation funktionaler Programme.- 3.4 Semantik der Spezifikationssprache.- 3.5 Beweise zur partiellen Korrektheit.- 3.6 Grenzen der formalen Verifikation.- 3.7 Korrektheitsbeweise durch Induktion.