Types in Logic Programming
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Beschreibung
"Types in Logic Programming" von Frank Pfenning ist ein Fachbuch, das sich mit der Integration von Typensystemen in die Logikprogrammierung beschäftigt. Das Buch untersucht, wie Typen verwendet werden können, um Programme sicherer und effizienter zu gestalten. Es bietet eine umfassende Einführung in die theoretischen Grundlagen von Typensystemen und deren Anwendung in der Logikprogrammierung. Pfenning diskutiert verschiedene Ansätze zur Typisierung, darunter polymorphe und abhängige Typen, und behandelt sowohl praktische als auch theoretische Aspekte. Das Werk richtet sich an Forscher und Studierende der Informatik, die sich für fortgeschrittene Themen der Programmiersprachen und formalen Methoden interessieren.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
