KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig am 01.10.2026 ab einem Mindestbestellwert von 30€ auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher und Hörbuch-Downloads, nicht preisgebundene Bücher und Kalender online auf thalia.at und in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Aufgrund der Buchpreisbindung sind deutschsprachige Bücher und eBooks ausgenommen. Zusätzlich ausgenommen sind Abos & Flatrates, Games, Geschenkkarten/-boxen, Shelfies, Software, Zeitschriften sowie einzelne Artikel von tonies®. Pro Einkauf einmal einlösbar. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services. Preisgebundene Artikel sind vom Mindestbestellwert ausgeschlossen.
  • 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

Taschenbuch

Erscheinungsdatum

19.11.2010

Abbildungen

XII, 420 p. 54 illus.

Verlag

Springer Us

Seitenzahl

420

Maße (L/B/H)

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

Gewicht

651 g

Auflage

Softcover reprint of hardcover 1st ed. 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, 420 p. 54 illus.

Verlag

Springer Us

Seitenzahl

420

Maße (L/B/H)

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

Gewicht

651 g

Auflage

Softcover reprint of hardcover 1st ed. 2005

Sprache

Englisch

ISBN

978-1-4419-2014-0

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

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.