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 64 Kč
PPL 99 Kč
Zásilkovna 54 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 64 Kč
PPL 99 Kč
Zásilkovna 54 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 13th International Symposium on...
Celý popis
Libristo kód: 01559466
?
168 b
168 b
1 681
Kč
Skladem u dodavatele v malém množství
Odesíláme za 12-17 dnů
30 dní na vrácení zboží
Mohlo by vás také zajímat
This book constitutes the thoroughly refereed postproceedings of the 13th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2003, held in Uppsala, Sweden in August 2003.The 12 revised full papers presented were carefully selected during two rounds of reviewing and revision from 32 submissions. Also included are an invited paper and abstracts of 5 papers presented at the workshop. The papers are organized in topical sections on specification and synthesis, verification, analysis, transformation and specialization, and constraints.
Informace o knize
Plný název
Logic Based Program Synthesis and Transformation
Autor
Maurice Bruynooghe
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Brožovaná
Datum vydání
2004
Počet stran
238
EAN
9783540221746
ISBN
3540221743
Libristo kód
01559466
Nakladatelství
Springer, Berlin
Váha
380
Rozměry
156 x 234 x 13
