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 Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Types for Proofs and Programs Marino Miculan
Libristo kód: 01567627
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, május 2008
This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the conclud... Teljes leírás
? points 136 b
19 665 Ft
Beszállítói készleten Küldés 5-8 napon belül

Akár 30 napos visszaküldési lehetőség

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

You Are My TRUTH Felicitas Brandt / Könyv Puha kötésű
common.buy 6 024 Ft
Zápisník Black Red tečkovaný L Papírszerek Papírszerek
common.buy 2 927 Ft
Olcsón
Kamošky, schôdzky a tajomstvá pyžamových večierkov Cathy Hopkins / Könyv Kemény kötésű
common.buy 1 868 Ft
Nexus Yuval Noah Harari / Könyv Kemény kötésű
common.buy 7 545 Ft
Vertrauenswürdige digitale Langzeitarchivierung nach DIN 31644 Christian Keitel / Könyv Puha kötésű
common.buy 10 787 Ft
Psychisch kranke Eltern, fur Kinder (k)ein Problem? Yvonne Behla / Könyv Puha kötésű
common.buy 13 020 Ft
Réponse du blé semé tardivement ? l'azote Deepak Sapkota / Könyv Puha kötésű
common.buy 12 989 Ft
OBOENKONZERT 2 B-DUR HWV 302A GEORG FRIEDRICH HAND Könyv binding.
common.buy 2 754 Ft
iPod Jude D. Biersdorfer / Könyv Puha kötésű
common.buy 6 777 Ft
Szerafina és a Fekete Köpeny Robert Beatty / Könyv Kemény kötésű
common.buy 2 354 Ft
de Donationibus, Jus Romanum Theorie de la Reserve Et de la Quotite Disponible, Droit Civil CARRIERE-J-J-A / Könyv Puha kötésű
common.buy 5 156 Ft
František Skála - Grafika František Skála / Könyv Lap
common.buy 4 416 Ft
Puccini: La Boheme/Madame Butterfly RPO/Abell / Hanganyagok Audio CD
common.buy 9 951 Ft
Ataque a un enemigo de la libertad Cicerón / Könyv Puha kötésű
common.buy 3 434 Ft
E-biznes Steve West / Könyv Puha kötésű
common.buy 5 083 Ft

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the concluding conference of the Types project, held in Cividale del Friuli, Italy, in May 2007.§The 13 revised full papers presented were carefully reviewed and selected from 22 submissions. The topic of this last annual workshop of the Types Working Group was formal reasoning and computer programming based on type theory. Great importance was attached to languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalization 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ő Marino Miculan, Ivan Scagnetto, Furio Honsell
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2008
Oldalszám 203
EAN 9783540680840
ISBN 3540680845
Libristo kód 01567627
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 343
Méretek 155 x 235 x 14

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épes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
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
Számítástechnika és információtechnológia > Operációs rendszerek
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

High-Risers: Cabrini-Green and the Fate of American Public Housing Ben Austen / Könyv Puha kötésű
common.buy 5 896 Ft
Building the Medieval World Christine Sciacca / Könyv Kemény kötésű
common.buy 7 572 Ft
Jeremy Blake / Könyv Puha kötésű
common.buy 3 982 Ft
Hacking Your Kitchen! Giant Blank Recipe Book FLASH PLANNERS AND N / Könyv Puha kötésű
common.buy 3 823 Ft
Globe Trotter's Records - Travel Journal Hawaii Edition DAYBOOK HEAVEN BOOKS / Könyv Puha kötésű
common.buy 3 302 Ft
Toplistás
Ego is the Enemy Ryan Holiday / Könyv Puha kötésű
common.buy 4 142 Ft
Household Stories Wilhelm Grimm / Könyv Puha kötésű
common.buy 8 906 Ft
Fights for the Flag William Henry Fitchett / Könyv Puha kötésű
common.buy 9 586 Ft
Requiem for Innocence Bv Lawson / Könyv Puha kötésű
common.buy 5 243 Ft
Raising a Soccer Star: A Complete Guide to Unlocking Your Child's Potential Mariana Correa / Könyv Puha kötésű
common.buy 6 650 Ft
Optimal Oil Pipeline Alignment In Ankleshwar Using RS & GIS techniques Anam Akhtar / Könyv Puha kötésű
common.buy 12 308 Ft
Jeremy Jackrabbit Jumps Joyfully Aimee Hughes / Könyv Puha kötésű
common.buy 2 895 Ft
Fresh Designs for Woodworking Thomas Haapapuro / Könyv Puha kötésű
common.buy 5 896 Ft
The Position of the Celebrant at the Holy Communion Morton Shaw / Könyv Puha kötésű
common.buy 6 184 Ft
Dynamics of Discrete Populations and Series of Events Keith Iain Hopcraft / Könyv Puha kötésű
common.buy 35 627 Ft
Toplistás
Lonely Planet Pocket Bangkok Lonely Planet / Könyv Puha kötésű
common.buy 4 042 Ft
Wind in the Willows Kenneth Grahame / Könyv Kemény kötésű
common.buy 5 996 Ft
Toplistás
Jujutsu Kaisen, Vol. 8 Gege Akutami / Könyv Puha kötésű
common.buy 3 416 Ft
Unofficial Hocus Pocus Cross-stitch Editors of Ulysses Press / Könyv Puha kötésű
common.buy 6 371 Ft
Summary: The Art of Social Media / Könyv Puha kötésű
common.buy 5 197 Ft
Paperblanks Wild Flowers Playful Creations Softcover Flexis Mini Lined Elastic Band 208 Pg 80 GSM / Naptár/Határidőnapló Naptár
common.buy 7 371 Ft
Toplistás
The Crescent Moon Tearoom Stacy Sivinski / Könyv Puha kötésű
common.buy 3 795 Ft
The Australian Defence Force Robbin Laird / Könyv Puha kötésű
common.buy 4 923 Ft
Relentless: From Redshirt to the Rock of the Jayhawks Travis Releford / Könyv Puha kötésű
common.buy 6 024 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?