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

139,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.11.2010

Abbildungen

XII, 54 illus., schwarz-weiss Illustrationen

Verlag

Springer Us

Seitenzahl

420

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

658 g

Auflage

Softcover reprint of hardcover 1st edition 2005

Sprache

Englisch

ISBN

978-1-4419-2014-0

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

Taschenbuch

Erscheinungsdatum

19.11.2010

Abbildungen

XII, 54 illus., schwarz-weiss Illustrationen

Verlag

Springer Us

Seitenzahl

420

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

658 g

Auflage

Softcover reprint of hardcover 1st edition 2005

Sprache

Englisch

ISBN

978-1-4419-2014-0

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

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)
  • 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.