Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Types for Proofs and Programs

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Types for Proofs and Programs Jean-Christophe Filliatre
Libristo kód: 01561624
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, január 2006
The 17 revised full papers presented here cover all current issues of formal reasoning and computer... Celý popis
? points 136 b
55.71 €
Skladom u dodávateľa Odosielame za 10-16 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Der Kurator im Zeitalter der neuen Medienkunst Sandra Kuberski / Kniha Brožovaná
common.buy 14.38 €
Propheten aus dem Alten Testament der Bibel Antonia Katharina Tessnow / Kniha Brožovaná
common.buy 26.74 €
Pripravujeme
Color Brain / Hra/Hračka Hra
common.buy 26.74 €
LA CIUDAD DE POLVO DE ESTRELLAS SUMMERS / Kniha Kniha
common.buy 18.09 €
processo romano-canonico classico. Linee di svolgimento e caratteri fondamentali Andrea Padovani / Kniha Brožovaná
common.buy 25.95 €
Zukunftsfahiges Leitbild oder veraltetes Schlagwort? Evelyn Ehle / Kniha Brožovaná
common.buy 16.09 €
FRANCISCO DE ALDANA CP 32 NEIRA / Kniha Kniha
common.buy 3.91 €
Etude exploratoire sur les barrières à la mise en oeuvre selon le processus de son application Mourad Sallami / Kniha Brožovaná
common.buy 49.27 €
De L'Influence Du Bien Etre Materiel Sur La Moralite Des Peuples Modernes (1854) Edouard Mercier / Kniha Brožovaná
common.buy 32.59 €
Rol' kompetentnostnoj ocenki v kar'ere personala torgovoj organizacii Galina Jur'evna Coj / Kniha Brožovaná
common.buy 48.67 €
Petite Trotteuse Michele Lesbre / Kniha Brožovaná
common.buy 10.25 €
L'Ingenu Dans Le Sauna - Vers Satiriques Et Homo Erotiques: Vers Satiriques Et Homo Erotiques Francois-Xavier D'Arneville / Kniha Brožovaná
common.buy 6.93 €
Bart Simpson Princ ptákovin Petr Putna / Kniha Brožovaná
common.buy 1.70 €
Poil de Carotte, Monsieur Vernet, Le Plaisir de Rompre, Le Pain de Menage, La Bigote Renard-J / Kniha Brožovaná
common.buy 16.08 €
?Por que Colombia se encuentra por debajo del promedio de registro de patentes tecnologicas de Brasil? Christian Daniel Usma Cordoba / Kniha Brožovaná
common.buy 16.09 €
Assistance visuelle des malvoyants par traitement d'images adaptatif Benoit Froissard / Kniha Brožovaná
common.buy 43.44 €

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Types for Proofs and Programs
Autor Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2006
Počet strán 280
EAN 9783540314288
ISBN 3540314288
Libristo kód 01561624
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 910
Rozmery 155 x 235 x 17

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika
Výpočtové a informačné technológie > Informatika > Teória algoritmov > Matematika pre informatikov
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Informatika > Umelá inteligencia
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

The Omega's Candy Shop Jeanette Clarke / Kniha Brožovaná
common.buy 13.37 €
Technology and Employment Practices in Developing Countries Hubert Schmitz / Kniha Pevná
common.buy 166.14 €
XLVIII Mexican Conference on Biomedical Engineering Esmeralda Zuñiga-Aguilar / Kniha Brožovaná
common.buy 204.56 €
Memoir Of Keopuolani, Late Queen Of The Sandwich Islands (1825) William Richards / Kniha Brožovaná
common.buy 18.30 €
The Happiness Curve: Why Life Gets Better After 50 Jonathan Rauch / Kniha Brožovaná
common.buy 13.97 €
Country Scenes in Acrylic Jerry Yarnell / Kniha Brožovaná
common.buy 17.69 €
Economic Evaluation of Cancer Drugs Khan / Kniha Pevná
common.buy 188.87 €
Construction Workers Emma Less / Kniha Pevná
common.buy 30.58 €
Goodwill and its treatment in accounts Lawrence R. Dicksee / Kniha Brožovaná
common.buy 21.62 €
Lacno
Acid Reflux Diet Stephanie Ridd / Kniha Brožovaná
common.buy 0.89 €
Justice Will Prevail: A Lee Bell Mystery Barb Nagel / Kniha Brožovaná
common.buy 11.46 €
Works of Elizabeth Gaskell, Part I Vol 3 SHATTOCK / Kniha Brožovaná
common.buy 71.00 €
Homology of Banach and Topological Algebras A.Y. Helemskii / Kniha Pevná
common.buy 51.38 €
Secrets Jesus Shared Jennifer Kennedy Dean / Kniha Brožovaná
common.buy 18.19 €
Pictures of Sweden Hans Christian Andersen / Kniha Brožovaná
common.buy 12.86 €
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 / Kniha Brožovaná
common.buy 11.76 €
Experimental Philosophy and its Critics Joachim Horvath / Kniha Pevná
common.buy 238.35 €
Essential Jazz Percussion Michael Green / Kniha Brožovaná
common.buy 32.48 €
Policy Integration for Complex Environmental Problems Helen Briassoulis / Kniha Pevná
common.buy 238.35 €
Chemical Evolution of the Universe Royal Society of Chemistry / Kniha Pevná
common.buy 231.92 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?