Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €
phone Kontakt phoneWie einkaufen

Types for Proofs and Programs

International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

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 141 b
57.79 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Lecturas para estrenarse en psicología GEMMA Y OTROS PEIRO BALLESTIN / Buch Broschur
common.buy 19.99 €
Deathbook Curval / Buch Broschur
common.buy 5.79 €
MAPA TOP 25 SIERRA Y CAÑONES DE GUARA II ZONA ORIENTAL PRAMES / Buch Broschur
common.buy 15.99 €
Piratería en la antigüedad : un ensayo sobre historia del Mediterráneo Henry Ardene Ormerod / Buch Broschur
common.buy 25.69 €
Como Animar um Capricorniano Mary English / Buch Broschur
common.buy 27.09 €
Comentarios a la constitución "Gaudium et spes" Ángel Herrera Oria / Buch Hardcover
common.buy 20.99 €
Limitsiz Yasam Nick Vujicic / Buch Broschur
common.buy 11.59 €
SparkofPhoenix: 200 Dinge in Minecraft, die du noch nicht wusstest SparkofPhoenix / Buch Broschur
common.buy 13.39 €
Extraits de margousier (Azadirachta indica A. Juss) pour le traitement des semences Ruth Abreu Araújo / Buch Broschur
common.buy 37.29 €
Top
Sur le jeu d'acteur Meisner SANFORD / Buch Broschur
common.buy 31.09 €
Die Bedeutung von Musik für Kinder in ihrer Entwicklung und in ihrem lebensweltlichen Kontext Monika Jenke / Buch Broschur
common.buy 27.95 €
El hombre que se habita Adriano Meschi / Buch Broschur
common.buy 18.49 €
Escape Rooms für zu Hause selbst gestalten Christine Sinnwell-Backes / Buch Broschur
common.buy 9.99 €
Thematische woordenschat Nederlands-Afrikaans - 9000 woorden Andrey Taranov / Buch Broschur
common.buy 16.29 €
Nimetoka Italia ! L'Epopea Dei Volontari e Missionari Italiani Nella Guerra D'uganda con Francesca Faramondi / Buch Broschur
common.buy 21.29 €
Desarrollo global de software Félix O. García Rubio / Buch Broschur
common.buy 39.49 €
dito e la luna. Riflessioni su filosofia, fede e politica Emanuele Severino / Buch Broschur
common.buy 19.69 €
Eisenbahn-Geleise A. Haarman / Buch Broschur
common.buy 30.90 €
Zázraky Valentín Šefčík / Buch Hardcover
common.buy 12.49 €
WALTER D. NAG WIND ENSEMBLE SCORE/PARTS WALTER Buch binding.
common.buy 50.69 €
L'Afrique noire victime de ses péchés Oulatta / Buch Broschur
common.buy 31.59 €
PORTRAIT D'UN MILLIARDAIRE MALHEUREUX BOSQUET / Buch Broschur
common.buy 89.19 €
Megúszós kaják Fördős Zé / Buch Hardcover
common.buy 18.99 €
Histoire de l'Afrique Septentrionale (Berberie). T 1 (Ed.1888) Ernest Mercier / Buch Broschur
common.buy 32.29 €

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

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

Das könnte Sie auch interessieren

Internet of Things, Smart Spaces, and Next Generation Networking Sergey Andreev / Buch Broschur
common.buy 53.79 €
Radiation and Cellular Control Processes J. Kiefer / Buch Broschur
common.buy 107.29 €
Gustavus Adolphus: The Life and Legacy of Sweden's Most Famous King Charles River Editors / Buch Broschur
common.buy 11.79 €
Champ Ferguson Thurman Sensing / Buch Broschur
common.buy 48.19 €
What Does the Referee Do? Margaret MacDonald / Buch Broschur
common.buy 8.09 €
Firefly Wildlife Atlas: A Comprehensive Guide to Animal Habitats John Farndon / Buch Broschur
common.buy 14.49 €
Cultures of Sustainability and Wellbeing Paola Spinozzi / Buch Hardcover
common.buy 215.89 €
The Law of Bills of Sale: With an Appendix of Precedents and Statutes / By George Edward Lyon and Joseph Haworth Redman. George Edward Lyon / Buch Broschur
common.buy 24.09 €
60 Subtraction Worksheets with 2-Digit Minuends, 2-Digit Subtrahends: Math Practice Workbook Kapoo Stem / Buch Broschur
common.buy 13.59 €
The Top 50 Underrated NFL Wide Receivers MR Rashad Skyla Mitchell / Buch Broschur
common.buy 6.99 €
Some Brief Remarks upon Sundry Important Subjects John Griffith / Buch Broschur
common.buy 15.99 €
Brush with the Chinese and What Came of it G. A. Henty / Buch Hardcover
common.buy 15.09 €
100 First Dinosaur Words DK / Buch Leporello
common.buy 9.59 €
Opinionated Guide To London Green Spaces Marco Kesseler / Buch Broschur
common.buy 11.39 €
Salman Rushdie and Translation Jenni Ramone / Buch Hardcover
common.buy 201.79 €
Prosperity And How It Must Come: Economic Facts For Workers And Preachers (1914) Roger Ward Babson / Buch Broschur
common.buy 23.89 €
Essential Touring Car RC Racer's Guide Dave B Stevens / Buch Broschur
common.buy 43.59 €
Clostridioides difficile Infection Guido Granata / Buch Hardcover
common.buy 47.49 €
Bob + Barb Present... Books! Books!! Books!!! Bob and Barb Studios / Buch Hardcover
common.buy 23.99 €
Top
Miraculous: Tales of Ladybug & Cat Noir 2 Zag / Buch Broschur
common.buy 8.99 €
VMware Cloud on AWS Christophe Lombard / Buch Broschur
common.buy 47.39 €
Toddlers Fun - A Black Children's Coloring Book Kyle Davis / Buch Broschur
common.buy 8.89 €
Tracker Jeffery Deaver / Buch Broschur
common.buy 14.99 €
The Warlord Era Laszlo Montgomery / Buch Broschur
common.buy 18.09 €

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
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?