Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, leden 2006
The 17 revised full papers presented here cover all current issues of formal reasoning and computer... Celý popis
? points 135 b
1 350 Kč
Skladem u dodavatele v malém množství Odesíláme za 11-15 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Der Kurator im Zeitalter der neuen Medienkunst Sandra Kuberski / Kniha Brožovaná
common.buy 328 Kč
De L'Influence Du Bien Etre Materiel Sur La Moralite Des Peuples Modernes (1854) Edouard Mercier / Kniha Brožovaná
common.buy 794 Kč
Zukunftsfahiges Leitbild oder veraltetes Schlagwort? Evelyn Ehle / Kniha Brožovaná
common.buy 369 Kč
processo romano-canonico classico. Linee di svolgimento e caratteri fondamentali Andrea Padovani / Kniha Brožovaná
common.buy 597 Kč
LA CIUDAD DE POLVO DE ESTRELLAS SUMMERS / Kniha Kniha
common.buy 441 Kč
Rol' kompetentnostnoj ocenki v kar'ere personala torgovoj organizacii Galina Jur'evna Coj / Kniha Brožovaná
common.buy 1 115 Kč
Propheten aus dem Alten Testament der Bibel Antonia Katharina Tessnow / Kniha Brožovaná
common.buy 612 Kč
Etude exploratoire sur les barrières à la mise en oeuvre selon le processus de son application Mourad Sallami / Kniha Brožovaná
common.buy 1 228 Kč
Assistance visuelle des malvoyants par traitement d'images adaptatif Benoit Froissard / Kniha Brožovaná
common.buy 994 Kč
Připravujeme
Color Brain / Hra/Hračka Hra
common.buy 658 Kč
Poil de Carotte, Monsieur Vernet, Le Plaisir de Rompre, Le Pain de Menage, La Bigote Renard-J / Kniha Brožovaná
common.buy 402 Kč
Petite Trotteuse Michele Lesbre / Kniha Brožovaná
common.buy 278 Kč

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 pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Types for Proofs and Programs
Autor Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2006
Počet stran 280
EAN 9783540314288
ISBN 3540314288
Libristo kód 01561624
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 910
Rozměry 155 x 235 x 17

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Výpočetní a informační technologie > Informatika > Teorie algoritmů > Matematika pro informatiky
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Informatika > Umělá inteligence
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

The Omega's Candy Shop / Kniha Brožovaná
common.buy 303 Kč
Construction Workers Emma Less / Kniha Pevná
common.buy 711 Kč
Nové
XLVIII Mexican Conference on Biomedical Engineering Esmeralda Zuñiga-Aguilar / Kniha Brožovaná
common.buy 4 707 Kč
Kamandi by Jack Kirby Vol. 1 Jack Kirby / Kniha Brožovaná
common.buy 1 029 Kč
Memoir Of Keopuolani, Late Queen Of The Sandwich Islands (1825) William Richards / Kniha Brožovaná
common.buy 445 Kč
Country Scenes in Acrylic Jerry Yarnell / Kniha Brožovaná
common.buy 392 Kč
Economic Evaluation of Cancer Drugs Khan / Kniha Pevná
common.buy 3 995 Kč
Homology of Banach and Topological Algebras A.Y. Helemskii / Kniha Pevná
common.buy 1 182 Kč
Technology and Employment Practices in Developing Countries Hubert Schmitz / Kniha Pevná
common.buy 3 875 Kč
Justice Will Prevail: A Lee Bell Mystery Barb Nagel / Kniha Brožovaná
common.buy 279 Kč
Works of Elizabeth Gaskell, Part I Vol 3 SHATTOCK / Kniha Brožovaná
common.buy 1 578 Kč
Secrets Jesus Shared Jennifer Kennedy Dean / Kniha Brožovaná
common.buy 442 Kč
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 287 Kč
Experimental Philosophy and its Critics Joachim Horvath / Kniha Pevná
common.buy 4 968 Kč
Policy Integration for Complex Environmental Problems Helen Briassoulis / Kniha Pevná
common.buy 4 968 Kč
Chemical Evolution of the Universe Royal Society of Chemistry / Kniha Pevná
common.buy 5 641 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?