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 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Types for Proofs and Programs Stefano Berardi
Libristo kód: 01649961
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, červen 2009
This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2008, the last of... 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

The Wiener Schnitzel Love Book! Florian Weitzer / Kniha Pevná
common.buy 669 Kč
Histoire de la Revolution de 1848. Tome 3 (Ed.1849-1850) Leonard Gallois / Kniha Brožovaná
common.buy 765 Kč
Quitter l'ouest Robin / Kniha Brožovaná
common.buy 472 Kč
Raccontini Vol. 2 - Easy Italian Reader Alfonso Borello / Kniha Brožovaná
common.buy 269 Kč
Souvenirs de jeunesse 1939 - 1945 Paul Kalt / Kniha Brožovaná
common.buy 156 Kč
Robota jak każda inna Alex W. Inker / Kniha Brožovaná
common.buy 373 Kč
Formation de cicatrices minimales apr?s des incisions chirurgicales dans les lignes de pliage principales Gottfried Lemperle Dieter Knapp / Kniha Brožovaná
common.buy 590 Kč
K jak Klara 7 - Tak mi przykro Knudsen / Audiokniha MP3
common.buy 58 Kč
Idées reçues sur le Royaume-Uni Fourton / Kniha Brožovaná
common.buy 415 Kč
Arbeiter, Unternehmer, Professioneller Manfred Stock / Kniha Brožovaná
common.buy 1 654 Kč
Záverečný účet obce a vyššieho územného celku Ingrid Konečná Veverková / Kniha Brožovaná
common.buy 326 Kč
Fútbol africano II Librofutbol. Com / Kniha Brožovaná
common.buy 537 Kč
Schulcafé Pustekuchen 2 Backe Backe Hühnerkacke Kati Naumann / Audio Audio CD
common.buy 217 Kč
Připravujeme
Das Erbe der Macht Andreas Suchanek / Kniha Brožovaná
common.buy 1 620 Kč
Prinzipien und Struktur einer gerechten Gesellschaft Bernd Waß / Kniha Pevná
common.buy 552 Kč
Faeries 13 Special Harry Potter Revue / Kniha Brožovaná
common.buy 309 Kč
Dieu avec esprit. Réponse à Michel Onfray Irène Fernandez / Kniha Brožovaná
common.buy 444 Kč
Aufbewahrungsbox fürs Auto aus Kunststoff / Hra/Hračka Hračka
common.buy 336 Kč
Die Erziehungslehre Der Drei Kappadozier: Eine Padagogisch-Philosophische Studie ... Karl Weiss / Kniha Brožovaná
common.buy 423 Kč
ANIMALES DE LA GRANJA ESTELLE TALAVERA / Kniha Pevná
common.buy 204 Kč

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2008, the last of a series of meetings of the TYPES working group funded by the European Union between 1993 and 2008; the workshop has been held in Torino, Italy, in March 2008.§The 19 revised full papers presented were carefully reviewed and selected from 27 submissions. The topic of the workshop was formal reasoning and computer programming based on type theory: languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, mobile code, formalization of mathematics, 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 Stefano Berardi, Ferruccio Damiani, Ugo De Liguoro
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2009
Počet stran 323
EAN 9783642024436
ISBN 3642024432
Libristo kód 01649961
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 510
Rozměry 155 x 235 x 19

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í > Algoritmy a datové struktury
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

Real-Time Mobile Multimedia Services Dilip Krishnaswamy / Kniha Brožovaná
common.buy 1 182 Kč
Torrent des passions R V RONI SAINT-CYR / Kniha Brožovaná
common.buy 532 Kč
Anesthesiology Linda S. Aglio / Kniha Brožovaná
common.buy 3 910 Kč
Motivating Children with Specific Learning Difficulties GAD ELBEHERI / Kniha Brožovaná
common.buy 1 071 Kč
Christian Songs and Rhymes for Children Children's Jesus Book Baby Professor / Kniha Brožovaná
common.buy 275 Kč
Algebra ROBERT SHUTLER / Kniha Brožovaná
common.buy 950 Kč
The Top 5 Greatest Native Americans: Sitting Bull, Crazy Horse, Geronimo, Tecumseh, and Chief Joseph Charles River Editors / Kniha Brožovaná
common.buy 346 Kč
GREED began in the WHITE HOUSE: It helps the rich get richer, forces the poor onto welfare, and squeezes working Middle Class families. James T Kelly / Kniha Brožovaná
common.buy 233 Kč
Born in the year 1970 Christoph Dappen / Kniha Brožovaná
common.buy 181 Kč
Atlas of Forensic Pathology, m. 1 Buch, m. 1 E-Book Joseph A. Prahlow / Kniha Pevná
common.buy 26 172 Kč
Welcome to the Swamp: An Illustrated Journey Into the Deplorable World of Donald J. Trump Tim Doyle / Kniha Brožovaná
common.buy 522 Kč
Immunometabolism Suresh Mishra / Kniha Brožovaná
common.buy 2 762 Kč
Optometrist's Manual, a Treatise on the Science and Practice of Optometry; Volume 2 Christian Henry Brown / Kniha Brožovaná
common.buy 598 Kč
Top
The Wolf and the Crown of Blood MAY ELIZABETH / Kniha Pevná
common.buy 575 Kč
The Originals: The Complete Series / Video DVD
common.buy 1 865 Kč
Saving Each Other: A Mother-Daughter Love Story Amanda Troop / Audio Audio CD
common.buy 634 Kč
Journey to Now Suzanne Taylor-Torres / Kniha Brožovaná
common.buy 292 Kč
Hedy Lamarr and a Secret Communication System Trinna Robbins / Kniha Brožovaná
common.buy 175 Kč
Italian Americans Before Mass Migration JEROME KRASE / Kniha Pevná
common.buy 665 Kč
Art of Falconry Patrick Morel / Kniha Pevná
common.buy 686 Kč
Zimbabwe Parker / Kniha Pevná
common.buy 732 Kč
Epistemic Paternalism Kristoffer Ahlstrom Vij / Kniha Pevná
common.buy 1 352 Kč
Siege of Corinth. a Poem. Parisina. a Poem. [By Lord Byron.] Third Edition Lord George Gordon Byron / Kniha Brožovaná
common.buy 463 Kč
Triumph of the Moon Ronald Hutton / Kniha Brožovaná
common.buy 731 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