[email protected]
LIBRISTO 0
DHL Abholort 4.69 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € GLS-Kurierdienst 3.99 €
phone Kontakt phoneWie einkaufen

Types for Proofs and Programs

Sprache EnglischEnglisch
Buch Broschur
Buch Types for Proofs and Programs Thorsten Altenkirch
Libristo-Code: 01569105
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Oktober 2007
This book constitutes the thoroughly refereed post-proceedings of the annual International Workshop... Vollständige Beschreibung
? points 177 b
70.52 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-16 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

Internet of Things, Smart Spaces, and Next Generation Networking Sergey Andreev / Broschur
common.buy 70.52 €
Bugs! Bugs! Bugs! Activity Book Tallarico / Broschur
common.buy 6.75 €
Aristotle in China Robert Wardy / Broschur
common.buy 62.55 €
Metropolis and Hinterland Neville Morley / Hardcover
common.buy 147.70 €
Atomicity and Quanta James Jeans / Broschur
common.buy 48.32 €

This book constitutes the thoroughly refereed post-proceedings of the annual International Workshop of the Types Working Group, TYPES 2006, held in Nottingham, UK in April 2006 - co-located with the Seventh Symposium on Trends in Functional Programming, TFP 2006.§The 17 revised full papers presented were carefully reviewed and selected from 29 submissions. All current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education.

Informationen zum Buch

Vollständiger Name Types for Proofs and Programs
Autor Thorsten Altenkirch, Conor McBride
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2007
Anzahl der Seiten 272
EAN 9783540744634
ISBN 3540744630
Libristo-Code 01569105
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 900
Abmessungen 155 x 235 x 18

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
EDV und Informationstechnologie > Informatik > Theoretische Informatik > Mathematik für Informatiker
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto