Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, jún 2009
This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2008, the last of... Celý popis
? points 125 b
51.75 €
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

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 pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Types for Proofs and Programs
Autor Stefano Berardi, Ferruccio Damiani, Ugo De Liguoro
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2009
Počet strán 323
EAN 9783642024436
ISBN 3642024432
Libristo kód 01649961
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 510
Rozmery 155 x 235 x 19

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika
Výpočtové a informačné technológie > Informatika > Teória algoritmov > Matematika pre informatikov
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Algoritmy a dátové štruktúry
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Informatika > Umelá inteligencia
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Real-Time Mobile Multimedia Services Dilip Krishnaswamy / Kniha Brožovaná
common.buy 51.75 €
Torrent des passions R V RONI SAINT-CYR / Kniha Brožovaná
common.buy 21.97 €
Anesthesiology Linda S. Aglio / Kniha Brožovaná
common.buy 171.26 €
Motivating Children with Specific Learning Difficulties GAD ELBEHERI / Kniha Brožovaná
common.buy 44.35 €
Christian Songs and Rhymes for Children Children's Jesus Book Baby Professor / Kniha Brožovaná
common.buy 11.33 €
Algebra ROBERT SHUTLER / Kniha Brožovaná
common.buy 39.29 €
The Top 5 Greatest Native Americans: Sitting Bull, Crazy Horse, Geronimo, Tecumseh, and Chief Joseph Charles River Editors / Kniha Brožovaná
common.buy 14.27 €
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 9.61 €
Born in the year 1970 Christoph Dappen / Kniha Brožovaná
common.buy 7.89 €
Atlas of Forensic Pathology, m. 1 Buch, m. 1 E-Book Joseph A. Prahlow / Kniha Pevná
common.buy 1 134.46 €
Welcome to the Swamp: An Illustrated Journey Into the Deplorable World of Donald J. Trump Tim Doyle / Kniha Brožovaná
common.buy 22.88 €
Immunometabolism Suresh Mishra / Kniha Brožovaná
common.buy 121.02 €
Optometrist's Manual, a Treatise on the Science and Practice of Optometry; Volume 2 Christian Henry Brown / Kniha Brožovaná
common.buy 24.70 €
Top
The Wolf and the Crown of Blood MAY ELIZABETH / Kniha Pevná
common.buy 25.11 €
The Originals: The Complete Series / Video DVD
common.buy 81.73 €
Saving Each Other: A Mother-Daughter Love Story Amanda Troop / Audio Audio CD
common.buy 27.74 €
Journey to Now Suzanne Taylor-Torres / Kniha Brožovaná
common.buy 12.04 €
Hedy Lamarr and a Secret Communication System Trinna Robbins / Kniha Brožovaná
common.buy 7.28 €
Italian Americans Before Mass Migration JEROME KRASE / Kniha Pevná
common.buy 27.54 €
Art of Falconry Patrick Morel / Kniha Pevná
common.buy 30.27 €
Zimbabwe Parker / Kniha Pevná
common.buy 30.27 €
Epistemic Paternalism Kristoffer Ahlstrom Vij / Kniha Pevná
common.buy 55.90 €
Siege of Corinth. a Poem. Parisina. a Poem. [By Lord Byron.] Third Edition Lord George Gordon Byron / Kniha Brožovaná
common.buy 19.13 €
Triumph of the Moon Ronald Hutton / Kniha Brožovaná
common.buy 31.69 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet