Vor Ort
Merkzettel Warenkorb
  • Produktbild: Adapting Proofs-as-Programs
  • Produktbild: Adapting Proofs-as-Programs

Adapting Proofs-as-Programs The Curry--Howard Protocol

Aus der Reihe Monographs in Computer Science

144,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

21.06.2005

Abbildungen

XII, 420 p. 54 illus.

Verlag

Springer Us

Seitenzahl

420

Maße (L/B/H)

23,4/15,6/2,4 cm

Gewicht

785 g

Auflage

2005 edition

Sprache

Englisch

ISBN

978-0-387-23759-6

Beschreibung

Rezension

From the reviews:



"This monograph serves the dual purpose of providing a state-of-the-art overview of the field and detailing tools and techniques to stimulate further research. It can serve as material for graduate students in computer science or mathematics, the proofs-as-programs research community and the computational logic, formal methods and software engineering communities." (Doina Tatar, Zentralblatt MATH, Vol. 1095 (21), 2006)

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

21.06.2005

Abbildungen

XII, 420 p. 54 illus.

Verlag

Springer Us

Seitenzahl

420

Maße (L/B/H)

23,4/15,6/2,4 cm

Gewicht

785 g

Auflage

2005 edition

Sprache

Englisch

ISBN

978-0-387-23759-6

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: gpsr@libri.de

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)
  • Produktbild: Adapting Proofs-as-Programs
  • Produktbild: Adapting Proofs-as-Programs
  • Prologue.- Generalizing Proofs-as-Programs.- Functional Program Synthesis.- The Curry-Howard Protocol.- Imperative Proofs-as-Programs.- Intuitionistic Hoare Logic.- Properties of Intuitionistic Hoare Logic.- Proofs-as-Imperative-Programs.- Structured Proofs-as-Programs.- Reasoning about Structured Specifications.- Proof-theoretic Properties of SSL.- Structured Proofs-as-Programs.- Generic Specifications.- Structured Program Synthesis.- Epilogue.- Conclusions: Toward Constructive Logic as a Practical 4GL.