Geschäftskunden Kundenprogramme
Vor Ort
Merkzettel Warenkorb
Adapting Proofs-as-Programs

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

Aus der Reihe
Gebundenes Buch

Gebundenes Buch

Fr. 206.00 eBook

eBook

Fr. 187.90

Adapting Proofs-as-Programs

Ebenfalls verfügbar als:

Gebundenes Buch

Gebundenes Buch

ab Fr. 206.00
eBook

eBook

ab Fr. 187.90

Fr. 187.90

inkl. MwSt

Beschreibung

Details

Format

PDF

Kopierschutz

Nein

Family Sharing

Nein

Text-to-Speech

Ja

Erscheinungsdatum

27.04.2007

Verlag

Springer Us

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)

Details

Format

PDF

eBooks im PDF-Format haben eine festgelegte Seitengröße und eignen sich daher nur bedingt zum Lesen auf einem tolino eReader oder Smartphone. Für den vollen Lesegenuss empfehlen wir Ihnen bei PDF-eBooks die Verwendung eines Tablets oder Computers.

Kopierschutz

Nein

Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie, allen sonstigen eReadern und am PC lesen. Das eBook ist nicht kopiergeschützt und kann ein personalisiertes Wasserzeichen enthalten. Weitere Hinweise zum Lesen von eBooks mit einem personalisierten Wasserzeichen finden Sie unter Hilfe/Downloads.

Family Sharing

Nein

Mit Family Sharing können Sie eBooks innerhalb Ihrer Familie (max. sechs Mitglieder im gleichen Haushalt) teilen. Sie entscheiden selbst, welches Buch Sie mit welchem Familienmitglied teilen möchten. Auch das parallele Lesen durch verschiedene Familienmitglieder ist durch Family Sharing möglich. Um eBooks zu teilen oder geteilt zu bekommen, muss jedes Familienmitglied ein Konto bei einem tolino-Buchhändler haben. Weitere Informationen finden Sie unter Hilfe/Family-Sharing.

Text-to-Speech

Ja

Bedeutet Ihnen Stimme mehr als Text? Mit der Funktion text-to-speech können Sie sich im aktuellen tolino webReader das eBook vorlesen lassen. Weitere Informationen finden Sie unter Hilfe/text-to-speech.

Erscheinungsdatum

27.04.2007

Verlag

Springer Us

Seitenzahl

420 (Printausgabe)

Dateigröße

2380 KB

Auflage

2005

Sprache

Englisch

EAN

9780387281834

Weitere Bände von Monographs in Computer Science

Unsere Kundinnen und Kunden meinen

0.0

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Erste Bewertung verfassen

Unsere Kundinnen und Kunden meinen

0.0

0 Bewertungen filtern

Weitere Artikel finden Sie in
  • 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.