Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Types for Proofs and Programs

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Types for Proofs and Programs Jean-Christophe Filliatre
Libristo-code: 01561624
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, januari 2006
The 17 revised full papers presented here cover all current issues of formal reasoning and computer... Volledige beschrijving
? points 141 b
58.39 €
In extern magazijn in kleine hoeveelheid Wordt binnen 11-15 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Der Kurator im Zeitalter der neuen Medienkunst Sandra Kuberski / Boek Gebonden (paperback)
common.buy 14.44 €
De L'Influence Du Bien Etre Materiel Sur La Moralite Des Peuples Modernes (1854) Edouard Mercier / Boek Gebonden (paperback)
common.buy 34.44 €
Zukunftsfahiges Leitbild oder veraltetes Schlagwort? Evelyn Ehle / Boek Gebonden (paperback)
common.buy 16.16 €
processo romano-canonico classico. Linee di svolgimento e caratteri fondamentali Andrea Padovani / Boek Gebonden (paperback)
common.buy 26.06 €
LA CIUDAD DE POLVO DE ESTRELLAS SUMMERS / Boek Boek
common.buy 19.39 €
Rol' kompetentnostnoj ocenki v kar'ere personala torgovoj organizacii Galina Jur'evna Coj / Boek Gebonden (paperback)
common.buy 48.89 €
Propheten aus dem Alten Testament der Bibel Antonia Katharina Tessnow / Boek Gebonden (paperback)
common.buy 26.86 €
Etude exploratoire sur les barrières à la mise en oeuvre selon le processus de son application Mourad Sallami / Boek Gebonden (paperback)
common.buy 50.71 €
Assistance visuelle des malvoyants par traitement d'images adaptatif Benoit Froissard / Boek Gebonden (paperback)
common.buy 43.53 €
Wordt verwacht
Color Brain / Spel/speelgoed Spel
common.buy 27.17 €
Poil de Carotte, Monsieur Vernet, Le Plaisir de Rompre, Le Pain de Menage, La Bigote Renard-J / Boek Gebonden (paperback)
common.buy 17.37 €
Petite Trotteuse Michele Lesbre / Boek Gebonden (paperback)
common.buy 11.51 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Types for Proofs and Programs
Auteur Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2006
Aantal pagina's 280
EAN 9783540314288
ISBN 3540314288
Libristo-code 01561624
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 910
Afmetingen 155 x 235 x 17

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie > Wiskunde voor computerwetenschappers
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

The Omega's Candy Shop / Boek Gebonden (paperback)
common.buy 14.24 €
Construction Workers Emma Less / Boek Gebonden (harde band)
common.buy 30.70 €
Nieuw
XLVIII Mexican Conference on Biomedical Engineering Esmeralda Zuñiga-Aguilar / Boek Gebonden (paperback)
common.buy 205.49 €
Kamandi by Jack Kirby Vol. 1 Jack Kirby / Boek Gebonden (paperback)
common.buy 44.85 €
Memoir Of Keopuolani, Late Queen Of The Sandwich Islands (1825) William Richards / Boek Gebonden (paperback)
common.buy 19.29 €
Country Scenes in Acrylic Jerry Yarnell / Boek Gebonden (paperback)
common.buy 18.58 €
Economic Evaluation of Cancer Drugs Khan / Boek Gebonden (harde band)
common.buy 172.55 €
Homology of Banach and Topological Algebras A.Y. Helemskii / Boek Gebonden (harde band)
common.buy 51.62 €
Technology and Employment Practices in Developing Countries Hubert Schmitz / Boek Gebonden (harde band)
common.buy 167.30 €
Justice Will Prevail: A Lee Bell Mystery Barb Nagel / Boek Gebonden (paperback)
common.buy 12.11 €
Works of Elizabeth Gaskell, Part I Vol 3 SHATTOCK / Boek Gebonden (paperback)
common.buy 68.59 €
Secrets Jesus Shared Jennifer Kennedy Dean / Boek Gebonden (paperback)
common.buy 19.39 €
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 / Boek Gebonden (paperback)
common.buy 12.62 €
Experimental Philosophy and its Critics Joachim Horvath / Boek Gebonden (harde band)
common.buy 215.79 €
Policy Integration for Complex Environmental Problems Helen Briassoulis / Boek Gebonden (harde band)
common.buy 215.79 €
Chemical Evolution of the Universe Royal Society of Chemistry / Boek Gebonden (harde band)
common.buy 244.18 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?