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 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

You Are My TRUTH Felicitas Brandt / Kniha Brožovaná
common.buy 356 Kč
Zápisník Black Red tečkovaný L Papírenské zboží Papírenské zboží
common.buy 195 Kč
Levně
Kamošky, schôdzky a tajomstvá pyžamových večierkov Cathy Hopkins / Kniha Pevná
common.buy 134 Kč
Top
Nexus Yuval Noah Harari / Kniha Pevná
common.buy 449 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 774 Kč
Réponse du blé semé tardivement ? l'azote Deepak Sapkota / Kniha Brožovaná
common.buy 772 Kč
OBOENKONZERT 2 B-DUR HWV 302A GEORG FRIEDRICH HAND Kniha binding.
common.buy 190 Kč
iPod Jude D. Biersdorfer / Kniha Brožovaná
common.buy 468 Kč
Szerafina és a Fekete Köpeny Robert Beatty / Kniha Pevná
common.buy 151 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č
František Skála - Grafika František Skála / Kniha List
common.buy 342 Kč
Puccini: La Boheme/Madame Butterfly RPO/Abell / Audio Audio CD
common.buy 608 Kč
Ataque a un enemigo de la libertad Cicerón / Kniha Brožovaná
common.buy 237 Kč
E-biznes Steve West / Kniha Brožovaná
common.buy 350 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

Top
High-Risers: Cabrini-Green and the Fate of American Public Housing Ben Austen / Kniha Brožovaná
common.buy 368 Kč
Building the Medieval World Christine Sciacca / Kniha Pevná
common.buy 432 Kč
Jeremy Blake / Kniha Brožovaná
common.buy 275 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 228 Kč
Household Stories Wilhelm Grimm / Kniha Brožovaná
common.buy 529 Kč
Fights for the Flag William Henry Fitchett / Kniha Brožovaná
common.buy 570 Kč
Requiem for Innocence Bv Lawson / Kniha Brožovaná
common.buy 308 Kč
Raising a Soccer Star: A Complete Guide to Unlocking Your Child's Potential Mariana Correa / Kniha Brožovaná
common.buy 403 Kč
Optimal Oil Pipeline Alignment In Ankleshwar Using RS & GIS techniques Anam Akhtar / Kniha Brožovaná
common.buy 732 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 368 Kč
The Position of the Celebrant at the Holy Communion Morton Shaw / Kniha Brožovaná
common.buy 368 Kč
Dynamics of Discrete Populations and Series of Events Keith Iain Hopcraft / Kniha Brožovaná
common.buy 2 196 Kč
Top
Lonely Planet Pocket Bangkok Lonely Planet / Kniha Brožovaná
common.buy 244 Kč
Wind in the Willows Kenneth Grahame / Kniha Pevná
common.buy 336 Kč
Top
Jujutsu Kaisen, Vol. 8 Gege Akutami / Kniha Brožovaná
common.buy 205 Kč
Unofficial Hocus Pocus Cross-stitch Editors of Ulysses Press / Kniha Brožovaná
common.buy 382 Kč
Summary: The Art of Social Media / Kniha Brožovaná
common.buy 309 Kč
Paperblanks Wild Flowers Playful Creations Softcover Flexis Mini Lined Elastic Band 208 Pg 80 GSM / Kalendář/Diář Kalendář
common.buy 509 Kč
Levně
The Crescent Moon Tearoom Stacy Sivinski / Kniha Brožovaná
common.buy 186 Kč
The Australian Defence Force Robbin Laird / Kniha Brožovaná
common.buy 299 Kč
Relentless: From Redshirt to the Rock of the Jayhawks Travis Releford / Kniha Brožovaná
common.buy 361 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