Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Types for Proofs and Programs

Name: Types for Proofs and Programs
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01649961
Price: 1181 CZK
Availability: InStock
Author: Stefano Berardi
ISBN: 9783642024436

International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Stefano Berardi

Ferruccio Damiani

Ugo De Liguoro

Jazyk

Angličtina

Kniha Brožovaná

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

Libristo kód: 01649961

118 b

1 181 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

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

Zákazníci také koupili

MINIX Music: Michael Jackson #117 Hra/Hračka

Hračka

413 Kč

The Wiener Schnitzel Love Book! Florian Weitzer

Pevná

811 Kč

Fútbol africano II Librofutbol. Com

Brožovaná

537 Kč

Souvenirs de jeunesse 1939 - 1945 Paul Kalt

Brožovaná

163 Kč

Cu bocancii sub bra¿ Diana Noor

Brožovaná

459 Kč

Quitter l'ouest Robin

Brožovaná

442 Kč

Arbeiter, Unternehmer, Professioneller Manfred Stock

Brožovaná

1 653 Kč

Histoire de la Revolution de 1848. Tome 3 (Ed.1849-1850) Leonard Gallois

Brožovaná

713 Kč

Robota jak każda inna Alex W. Inker

Brožovaná

350 Kč

Музыкальные пальчиковые игры Елена Поддубная

Noty

444 Kč

Formation de cicatrices minimales apr?s des incisions chirurgicales dans les lignes de pliage principales Gottfried Lemperle Dieter Knapp

Brožovaná

589 Kč

K jak Klara 7 - Tak mi przykro Knudsen

MP3

58 Kč

Idées reçues sur le Royaume-Uni Fourton

Brožovaná

385 Kč

Südasiatische Schüler im englischen Schulsystem Lubna Qadeer

Brožovaná

1 014 Kč

Izurde bat lorategian Knister

Brožovaná

284 Kč

Záverečný účet obce a vyššieho územného celku Ingrid Konečná Veverková

Brožovaná

366 Kč

Trötsch Meine weltliebste Freundin Überraschungsgrüße

Brožovaná

206 Kč

ANIMALES DE LA GRANJA ESTELLE TALAVERA

Pevná

199 Kč

Saint Coran FranCais souple - Poche - Vert - Arc en ciel REVELATION

Brožovaná

274 Kč

21 CREENCIAS QUE NOS AMARGAN LA VIDA Gabarró Berbegal

Pevná

407 Kč

Auxiliar Administrativo de la Diputación Provincial de Jaén. Temario volumen 2 Editores

Brožovaná

1 100 Kč

Das Erbe der Macht Andreas Suchanek

Brožovaná

1 620 Kč

Raccontini Vol. 2 - Easy Italian Reader Alfonso Borello

Brožovaná

269 Kč

Faeries 13 Special Harry Potter Revue

Brožovaná

279 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

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

Brožovaná

1 181 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

Brožovaná

233 Kč