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
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Types for Proofs and Programs

International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

Sprache EnglischEnglisch
Buch Broschur
Buch Types for Proofs and Programs Jean-Christophe Filliatre
Libristo-Code: 01561624
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Jänner 2006
The 17 revised full papers presented here cover all current issues of formal reasoning and computer... Vollständige Beschreibung
? points 148 b
60.39 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 11-15 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Der Kurator im Zeitalter der neuen Medienkunst Sandra Kuberski / Buch Broschur
common.buy 15.95 €
De L'Influence Du Bien Etre Materiel Sur La Moralite Des Peuples Modernes (1854) Edouard Mercier / Buch Broschur
common.buy 35.79 €
Zukunftsfahiges Leitbild oder veraltetes Schlagwort? Evelyn Ehle / Buch Broschur
common.buy 17.95 €
processo romano-canonico classico. Linee di svolgimento e caratteri fondamentali Andrea Padovani / Buch Broschur
common.buy 27.29 €
LA CIUDAD DE POLVO DE ESTRELLAS SUMMERS / Buch Buch
common.buy 20.39 €
Rol' kompetentnostnoj ocenki v kar'ere personala torgovoj organizacii Galina Jur'evna Coj / Buch Broschur
common.buy 51.19 €
Propheten aus dem Alten Testament der Bibel Antonia Katharina Tessnow / Buch Broschur
common.buy 29.99 €
Etude exploratoire sur les barrières à la mise en oeuvre selon le processus de son application Mourad Sallami / Buch Broschur
common.buy 52.39 €
Assistance visuelle des malvoyants par traitement d'images adaptatif Benoit Froissard / Buch Broschur
common.buy 45.69 €
Demnächst
Color Brain / Spiel/Spielzeug Spiel
common.buy 28.19 €
Poil de Carotte, Monsieur Vernet, Le Plaisir de Rompre, Le Pain de Menage, La Bigote Renard-J / Buch Broschur
common.buy 18.09 €
Petite Trotteuse Michele Lesbre / Buch Broschur
common.buy 11.79 €

The 17 revised full papers presented here cover 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 Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2006
Anzahl der Seiten 280
EAN 9783540314288
ISBN 3540314288
Libristo-Code 01561624
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 910
Abmessungen 155 x 235 x 17

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

The Omega's Candy Shop / Buch Broschur
common.buy 14.99 €
Construction Workers Emma Less / Buch Hardcover
common.buy 31.79 €
Neu
XLVIII Mexican Conference on Biomedical Engineering Esmeralda Zuñiga-Aguilar / Buch Broschur
common.buy 214.29 €
Kamandi by Jack Kirby Vol. 1 Jack Kirby / Buch Broschur
common.buy 46.69 €
Memoir Of Keopuolani, Late Queen Of The Sandwich Islands (1825) William Richards / Buch Broschur
common.buy 19.99 €
Country Scenes in Acrylic Jerry Yarnell / Buch Broschur
common.buy 19.59 €
Economic Evaluation of Cancer Drugs Khan / Buch Hardcover
common.buy 178.29 €
Homology of Banach and Topological Algebras A.Y. Helemskii / Buch Hardcover
common.buy 53.79 €
Technology and Employment Practices in Developing Countries Hubert Schmitz / Buch Hardcover
common.buy 172.99 €
Justice Will Prevail: A Lee Bell Mystery Barb Nagel / Buch Broschur
common.buy 12.59 €
Works of Elizabeth Gaskell, Part I Vol 3 SHATTOCK / Buch Broschur
common.buy 71.29 €
Secrets Jesus Shared Jennifer Kennedy Dean / Buch Broschur
common.buy 20.49 €
Treatise of the Suffocation of the Matrix, Commonly Called, the Fits of the Mother. Wherein Are Not Only Explained the Cause, Progress, and Danger of M.D. Lockman / Buch Broschur
common.buy 13.29 €
Experimental Philosophy and its Critics Joachim Horvath / Buch Hardcover
common.buy 224.29 €
Policy Integration for Complex Environmental Problems Helen Briassoulis / Buch Hardcover
common.buy 224.29 €
Chemical Evolution of the Universe Royal Society of Chemistry / Buch Hardcover
common.buy 252.89 €

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?