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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Types for Proofs and Programs Marino Miculan
Libristo kód: 01567627
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, květen 2008
This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the conclud... Celý popis
? points 125 b
1 250 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

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

Zákazníci také koupili

Top
Kamošky, schôdzky a tajomstvá pyžamových večierkov Cathy Hopkins / Kniha Pevná
common.buy 136 Kč
Aru Shah e il canto della morte Roshani Chokshi / Kniha Brožovaná
common.buy 456 Kč
Top
Nexus Yuval Noah Harari / Kniha Pevná
common.buy 457 Kč
Zápisník Black Red tečkovaný L Papírenské zboží Papírenské zboží
common.buy 195 Kč
You Are My TRUTH Felicitas Brandt / Kniha Brožovaná
common.buy 379 Kč
E-biznes Steve West / Kniha Brožovaná
common.buy 351 Kč
Ataque a un enemigo de la libertad Cicerón / Kniha Brožovaná
common.buy 211 Kč
Vertrauenswürdige digitale Langzeitarchivierung nach DIN 31644 Christian Keitel / Kniha Brožovaná
common.buy 647 Kč
Psychisch kranke Eltern, fur Kinder (k)ein Problem? Yvonne Behla / Kniha Brožovaná
common.buy 822 Kč
El libro de los hechizos Cecilia Pisos / Kniha Brožovaná
common.buy 246 Kč
Réponse du blé semé tardivement ? l'azote Deepak Sapkota / Kniha Brožovaná
common.buy 820 Kč
Puccini: La Boheme/Madame Butterfly RPO/Abell / Audio Audio CD
common.buy 608 Kč
NIKOLA GRANDMONTAGNE / Kniha Brožovaná
common.buy 403 Kč
OBOENKONZERT 2 B-DUR HWV 302A GEORG FRIEDRICH HAND Kniha binding.
common.buy 185 Kč
iPod Jude D. Biersdorfer / Kniha Brožovaná
common.buy 463 Kč
El accidente del teletransporte Ned Beauman / Kniha Brožovaná
common.buy 621 Kč
Szerafina és a Fekete Köpeny Robert Beatty / Kniha Pevná
common.buy 151 Kč
Lettres Politiques Adressees A Timon Theophraste / Kniha Brožovaná
common.buy 364 Kč
Připravujeme
František Skála - Grafika František Skála / Kniha List
common.buy 342 Kč
de Donationibus, Jus Romanum Theorie de la Reserve Et de la Quotite Disponible, Droit Civil CARRIERE-J-J-A / Kniha Brožovaná
common.buy 315 Kč

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.

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 Marino Miculan, Ivan Scagnetto, Furio Honsell
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2008
Počet stran 203
EAN 9783540680840
ISBN 3540680845
Libristo kód 01567627
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 343
Rozměry 155 x 235 x 14

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 > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
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
Výpočetní a informační technologie > Operační systémy
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

High-Risers: Cabrini-Green and the Fate of American Public Housing Ben Austen / Kniha Brožovaná
common.buy 367 Kč
Top
Building the Medieval World Christine Sciacca / Kniha Pevná
common.buy 415 Kč
Jeremy Blake / Kniha Brožovaná
common.buy 244 Kč
Hacking Your Kitchen! Giant Blank Recipe Book FLASH PLANNERS AND N / Kniha Brožovaná
common.buy 233 Kč
Globe Trotter's Records - Travel Journal Hawaii Edition DAYBOOK HEAVEN BOOKS / Kniha Brožovaná
common.buy 201 Kč
Top
Ego is the Enemy Ryan Holiday / Kniha Brožovaná
common.buy 253 Kč
Household Stories Wilhelm Grimm / Kniha Brožovaná
common.buy 562 Kč
Fights for the Flag William Henry Fitchett / Kniha Brožovaná
common.buy 606 Kč
Requiem for Innocence Bv Lawson / Kniha Brožovaná
common.buy 308 Kč
Combat Chronology 1941-1945 (Part 2 of 2) Office of Air Force History / Kniha Brožovaná
common.buy 444 Kč
Raising a Soccer Star: A Complete Guide to Unlocking Your Child's Potential Mariana Correa / Kniha Brožovaná
common.buy 403 Kč
Hold On Everyone... Christmas Is On Its Way Sue Messruther / Kniha Brožovaná
common.buy 299 Kč
Optimal Oil Pipeline Alignment In Ankleshwar Using RS & GIS techniques Anam Akhtar / Kniha Brožovaná
common.buy 777 Kč
Jeremy Jackrabbit Jumps Joyfully Aimee Hughes / Kniha Brožovaná
common.buy 176 Kč
Fresh Designs for Woodworking Thomas Haapapuro / Kniha Brožovaná
common.buy 367 Kč
The Position of the Celebrant at the Holy Communion Morton Shaw / Kniha Brožovaná
common.buy 391 Kč
Capitalism on Edge Albena (University of Kent) Azmanova / Kniha Brožovaná
common.buy 879 Kč
Dynamics of Discrete Populations and Series of Events Keith Iain Hopcraft / Kniha Brožovaná
common.buy 2 196 Kč
Lonely Planet Pocket Bangkok Lonely Planet / Kniha Brožovaná
common.buy 244 Kč
Wind in the Willows Kenneth Grahame / Kniha Pevná
common.buy 335 Kč
Top
Jujutsu Kaisen, Vol. 8 Gege Akutami / Kniha Brožovaná
common.buy 220 Kč
Forgot to Feed the Dog! Pearson Linda Pearson / Kniha Brožovaná
common.buy 176 Kč
Unofficial Hocus Pocus Cross-stitch Editors of Ulysses Press / Kniha Brožovaná
common.buy 405 Kč
Summary: The Art of Social Media / Kniha Brožovaná
common.buy 328 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?