Große Auswahl an günstigen Büchern
Alles immer versandkostenfrei!
Schnelle Lieferung per Post und DHL
Kundenservice
Login
  1. Startseite
  2. Bücher
  3. Wirtschaft & Schule
  4. Computer & IT
  5. Adapting Proofs-as-Programs

Adapting Proofs-as-Programs

- The Curry--Howard Protocol

von Iman Poernomo, Martin Wirsing, John N. Crossley

enthalten in Monographs in Computer Science-Reihe

Adapting Proofs-as-Programs von Iman Poernomo Sie sparen 13% des UVP sparen 13%
Über Adapting Proofs-as-Programs

This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9781441920140
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 420
  • Veröffentlicht:
  • 12. Februar 2010
  • Ausgabe:
  • 12005
  • Abmessungen:
  • 234x156x22 mm.
  • Gewicht:
  • 658 g.
  Versandkostenfrei
  Sofort lieferbar

Über Iman Poernomo

Alle Bücher von Iman Poernomo anzeigen

Beschreibung von Adapting Proofs-as-Programs

This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems.

Kund*innenbewertungen von Adapting Proofs-as-Programs



Andere kauften auch ...
Ähnliche Bücher finden
Das Buch Adapting Proofs-as-Programs ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.