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 €
DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.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, Januar 2006
The 17 revised full papers presented here cover all current issues of formal reasoning and computer... Vollständige Beschreibung
? points 141 b
58.46 €
Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen
Griechenland Lieferung in Griechenland

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Der Kurator im Zeitalter der neuen Medienkunst Sandra Kuberski / Buch Broschur
common.buy 14.46 €
Assistance visuelle des malvoyants par traitement d'images adaptatif Benoit Froissard / Buch Broschur
common.buy 43.59 €
Petite Trotteuse Michele Lesbre / Buch Broschur
common.buy 11.52 €
Poil de Carotte, Monsieur Vernet, Le Plaisir de Rompre, Le Pain de Menage, La Bigote Renard-J / Buch Broschur
common.buy 18.30 €
Demnächst
Color Brain / Spiel/Spielzeug Spiel
common.buy 27.20 €
De L'Influence Du Bien Etre Materiel Sur La Moralite Des Peuples Modernes (1854) Edouard Mercier / Buch Broschur
common.buy 36.20 €
Etude exploratoire sur les barrières à la mise en oeuvre selon le processus de son application Mourad Sallami / Buch Broschur
common.buy 50.77 €
processo romano-canonico classico. Linee di svolgimento e caratteri fondamentali Andrea Padovani / Buch Broschur
common.buy 26.09 €
Zukunftsfahiges Leitbild oder veraltetes Schlagwort? Evelyn Ehle / Buch Broschur
common.buy 16.18 €

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 15.16 €
Construction Workers Emma Less / Buch Hardcover
common.buy 30.74 €
Neu
XLVIII Mexican Conference on Biomedical Engineering Esmeralda Zuñiga-Aguilar / Buch Broschur
common.buy 205.74 €
Kamandi by Jack Kirby Vol. 1 Jack Kirby / Buch Broschur
common.buy 44.90 €
Memoir Of Keopuolani, Late Queen Of The Sandwich Islands (1825) William Richards / Buch Broschur
common.buy 20.22 €
Country Scenes in Acrylic Jerry Yarnell / Buch Broschur
common.buy 18.60 €
Economic Evaluation of Cancer Drugs Khan / Buch Hardcover
common.buy 180.35 €
Homology of Banach and Topological Algebras A.Y. Helemskii / Buch Hardcover
common.buy 51.68 €
Technology and Employment Practices in Developing Countries Hubert Schmitz / Buch Hardcover
common.buy 174.99 €
Justice Will Prevail: A Lee Bell Mystery Barb Nagel / Buch Broschur
common.buy 12.74 €
Works of Elizabeth Gaskell, Part I Vol 3 SHATTOCK / Buch Broschur
common.buy 68.68 €
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.44 €
Experimental Philosophy and its Critics Joachim Horvath / Buch Hardcover
common.buy 216.06 €
Chemical Evolution of the Universe Royal Society of Chemistry / Buch Hardcover
common.buy 255.82 €

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?