Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 74 Kč
Zásilkovna 49 Kč
PPL 99 Kč
Jak nakupovat
Pomoc
Doručení
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 74 Kč
Zásilkovna 49 Kč
PPL 99 Kč
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Nákupní rádce
Jsme tu pro vás!
571 999 090
Můj účet
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod.
Založit účet zdarma
▸
Prázdný :-(
0
Logic-Based Program Synthesis and Transformation
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on...
Celý popis
Libristo kód: 01568318
?
154 b
154 b
1 540
Kč
včetně DPH
Skladem u dodavatele v malém množství
Odesíláme za 13-16 dnů
30 dní na vrácení zboží
Mohlo by vás také zajímat
/
Brožovaná
1 149
Kč
This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, held in Venice, Italy in July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006.§The 14 revised full papers presented together with 2 invited talks were carefully selected and revised from 41 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on tools for program development, partial evaluation and program transformation, security and synthesis, debugging and testing, as well as termination and analysis.
Informace o knize
Plný název
Logic-Based Program Synthesis and Transformation
Autor
Germán Puebla
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Brožovaná
Datum vydání
2007
Počet stran
240
EAN
9783540714095
ISBN
354071409X
Libristo kód
01568318
Nakladatelství
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha
790
Rozměry
155 x 235 x 17
