A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD futárszolgálat 1 190 Ft Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft DPD gyűjtőpont 990 Ft GLS futár 1 690 Ft GLS pont 1 190 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Types for Proofs and Programs

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

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Types for Proofs and Programs Jean-Christophe Filliatre
Libristo kód: 01561624
Kiadó 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... Teljes leírás
? points 145 b
21 304 Ft
Beszállítói készleten alacsony példányszámban Küldés 13-18 napon belül

30 nap a termék visszaküldésére

A vásárlók ilyet vásároltak

Der Kurator im Zeitalter der neuen Medienkunst Sandra Kuberski / Könyv Puha kötésű
common.buy 5 604 Ft
Assistance visuelle des malvoyants par traitement d'images adaptatif Benoit Froissard / Könyv Puha kötésű
common.buy 16 950 Ft
Petite Trotteuse Michele Lesbre / Könyv Puha kötésű
common.buy 4 081 Ft
Poil de Carotte, Monsieur Vernet, Le Plaisir de Rompre, Le Pain de Menage, La Bigote Renard-J / Könyv Puha kötésű
common.buy 6 677 Ft
Zukunftsfahiges Leitbild oder veraltetes Schlagwort? Evelyn Ehle / Könyv Puha kötésű
common.buy 6 279 Ft
Hamarosan
Color Brain / Játék Játék
common.buy 9 657 Ft
De L'Influence Du Bien Etre Materiel Sur La Moralite Des Peuples Modernes (1854) Edouard Mercier / Könyv Puha kötésű
common.buy 13 192 Ft
Etude exploratoire sur les barrières à la mise en oeuvre selon le processus de son application Mourad Sallami / Könyv Puha kötésű
common.buy 18 019 Ft
processo romano-canonico classico. Linee di svolgimento e caratteri fondamentali Andrea Padovani / Könyv Puha kötésű
common.buy 10 097 Ft

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.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Types for Proofs and Programs
Szerző Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2006
Oldalszám 280
EAN 9783540314288
ISBN 3540314288
Libristo kód 01561624
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 910
Méretek 155 x 235 x 17

Kategória

Technológia, mérnöki tudományok, mezőgazdaság > Elektronikus és kommunikációs gépészet > Villamosmérnöki tudomány > Automata irányítási gépészet > Robotika
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete > Matematikaelmélet számítástechnikai tudósok számára
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Fordítóprogramok és értelmezőprogramok (compilers & interpreters)
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

The Omega's Candy Shop / Könyv Puha kötésű
common.buy 5 590 Ft
Construction Workers Emma Less / Könyv Kemény kötésű
common.buy 11 726 Ft
Új
XLVIII Mexican Conference on Biomedical Engineering Esmeralda Zuñiga-Aguilar / Könyv Puha kötésű
common.buy 79 353 Ft
Memoir Of Keopuolani, Late Queen Of The Sandwich Islands (1825) William Richards / Könyv Puha kötésű
common.buy 7 394 Ft
Economic Evaluation of Cancer Drugs Khan / Könyv Kemény kötésű
common.buy 65 680 Ft
Technology and Employment Practices in Developing Countries Hubert Schmitz / Könyv Kemény kötésű
common.buy 63 699 Ft
Justice Will Prevail: A Lee Bell Mystery Barb Nagel / Könyv Puha kötésű
common.buy 4 664 Ft
Works of Elizabeth Gaskell, Part I Vol 3 SHATTOCK / Könyv Puha kötésű
common.buy 25 589 Ft
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 / Könyv Puha kötésű
common.buy 4 947 Ft
Experimental Philosophy and its Critics Joachim Horvath / Könyv Kemény kötésű
common.buy 80 557 Ft
Chemical Evolution of the Universe Royal Society of Chemistry / Könyv Kemény kötésű
common.buy 93 221 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?