Preisvergleich / Wohnen / Büro / Adapting Proofs-as-Programs, Fachbücher von Martin Wirsing, Iman Poernomo, John N. Crossley

Adapting Proofs-as-Programs, Fachbücher von Martin Wirsing, Iman Poernomo, John N. Crossley

160,49 €

"Adapting Proofs-as-Programs" ist ein Fachbuch, das sich mit dem Konzept der "Proofs-as-Programs" beschäftigt, einem Ansatz zur Entwicklung von Programmen aus Beweisen in der konstruktiven Logik. Seit der ersten Konzeption dieses Paradigmas vor über dreissig Jahren hat sich das Interesse an praktischen Anwendungen in der semi-automatisierten Softwareentwicklung gewandelt. Während die anfänglichen Anwendungen vor allem auf mathematische Programmsynthese abzielten, hat sich die Forschung in den letzten Jahren wieder verstärkt auf die praktischen Aspekte konzentriert. Dieses Buch bietet eine detaillierte Analyse wichtiger Fortschritte in der Anwendung konstruktiver Techniken auf komplexe Softwareentwicklungsprobleme. Ein zentrales Thema ist ein allgemeines, abstraktes Rahmenwerk zur Entwicklung neuer Systeme der Programmsynthese, das die Anpassung von "Proofs-as-Programs" an neue Kontexte ermöglicht. Durch anschauliche Beispiele wird das Rahmenwerk veranschaulicht und zeigt, wie es als formales Werkzeug zur Entwicklung individueller Lösungen dienen kann.

Deine Shops für beste Deals

Logo - Galaxus

Galaxus

80 Punkte
% Best Deal

160,49 €

zum Shop
Versandkostenfrei | Lieferzeit: 2-4 Werktage

Ähnliche Produkte

Produktinfos

Informationen

Lieferzeit:2-4 Werktage
Hersteller:Springer