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 Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003. Revised Selected Papers

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Types for Proofs and Programs Stefano Berardi
Libristo kód: 01559460
Nakladatelství Springer, Berlin, listopad 2003
This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop o... 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

Vinda do Kaiser H H Munro (Saki) / Kniha Brožovaná
common.buy 237 Kč
Śmierć w rodzinie. Trudne sprawy. Przygody Fenka Dominika Gałka / Kniha Brožovaná
common.buy 98 Kč
Midnight Scandal Sex Neneko Narazaki / Kniha Brožovaná
common.buy 205 Kč

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop of the Types Working Group, TYPES 2003, held in Torino, Italy in April/May 2003.The 25 revised full papers presented were carefully selected during two rounds of reviewing and improvement. All current issues in type theory and type systems and their applications to programming, systems design, and proof theory are addressed. Among the systems dealt with are Isabelle/Isar, PAF!, and Coq.

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, Mario Coppo, Ferruccio Damiani
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2004
Počet stran 412
EAN 9783540221647
ISBN 3540221646
Libristo kód 01559460
Nakladatelství Springer, Berlin
Váha 600
Rozměry 156 x 234 x 22

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 > 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 > Teorie algoritmů
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

Theories of Group Behavior Brian Mullen / Kniha Pevná
common.buy 2 201 Kč
New Canadian Realisms Roberta Barker / Kniha Brožovaná
common.buy 631 Kč
Life on the Farm - Adventure with the Cats Dovie G. Therriault -. Bruder / Kniha Brožovaná
common.buy 375 Kč
RIGBY PM PLUS Rigby / Kniha Brožovaná
common.buy 1 745 Kč
The Law of Nations: Investigated in a Popular Manner: Addressed to the Farmers of the United States. William J Duane / Kniha Brožovaná
common.buy 354 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