Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Logic-Based Program Synthesis and Transformation

18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Език Английски езикАнглийски език
Книга С меки корици
Книга Logic-Based Program Synthesis and Transformation Michael Hanus
Код Либристо: 01649407
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, февруари 2009
This book constitutes the thoroughly refereed post-conference proceedings of the 18th International... Цялото описание
? points 132 b
54.47 €
106.54  лв
Външен склад Изпращаме след 5-8 дни

30 дни за връщане на стоката

Клиентите са закупили също

Infiltration und Bodenfeuchte. Prozesse und Mechanismen der Versickerung. Wasserspeicherung in Böden und dessen Bedeutung für Pflanzen Antonio Salmeri / Книга С меки корици
common.buy 17.14 € 33.51 лв
Kultur ALS Naturgeschichte Christian Mehr / Книга С твърди корици
common.buy 117.29 € 229.40 лв
Abrege de la Philosophie de Gassendi Francois Bernier / Книга С меки корици
common.buy 30.24 € 59.14 лв
Juhlajulkaisu: Suomalaisen Kansallis-Raittius-Veljeysseuran 25-Vuotisen Toiminnan Muistoksi, Toimituttanut S.K.-R.-Veljeysseura Anonymous / Книга С меки корици
common.buy 25.06 € 49.01 лв
Fisioterapeuta del Servicio de Salud de la Comunidad de Madrid. EDICIÓN COLECTIVOS CLAVIJO GAMERO / Книга С меки корици
common.buy 38.58 € 75.45 лв
casa dei suoni e delle parole. Percorsi di recupero e potenziamento delle abilità fonologiche e metafonologiche Giulia Fedrigo / Книга С меки корици
common.buy 29.88 € 58.43 лв
VOLTAREI A SEDUZIR-TE; CAMINHO PARA O CORAÇÇO MANN / Книга Книга
common.buy 8.07 € 15.79 лв
Controstoria del franchismo. Fatti, retroscena e scomode verità sul regime del Caudillo Roberto Lobosco / Книга С меки корици
common.buy 29.56 € 57.82 лв
The Rational Male (Band II) - Deutsche Auflage Rollo Tomassi / Книга С меки корици
common.buy 23.87 € 46.68 лв

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. §The 11 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Logic-Based Program Synthesis and Transformation
Автор Michael Hanus
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2009
Брой страници 185
Баркод 9783642005145
ISBN 3642005144
Код Либристо 01649407
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 308
Размери 155 x 235 x 11

Категории

Mathematics & Science > Mathematics > Calculus & mathematical analysis > Numerical analysis
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Operating systems
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

Moses in America Melanie Jane Wright / Книга С твърди корици
common.buy 111.49 € 218.05 лв
Top
Yandere Dark Elf: She Chased Me All the Way from Another World! Vol. 4 Nakanosora / Книга С меки корици
common.buy 12.11 € 23.69 лв
SURVEYING: ORGANIZATION, EXPERTISE, MANAGEMENT / Книга С меки корици
common.buy 260.17 € 508.84 лв
Explorers on Black Ice Bridge Alex Bell / E-книга Adobe ePub DRM
common.buy 7.97 € 15.59 лв
Cinderella Is Dead Kalynn Bayron / Книга С меки корици
common.buy 9.26 € 18.12 лв
Lucky Per Henrik Pontoppidan / Книга С твърди корици
common.buy 14.86 € 29.06 лв
Imperator Anna Hackett / Книга С меки корици
common.buy 12.16 € 23.79 лв
Changing State Feminism J. Outshoorn / Книга С меки корици
common.buy 112.06 € 219.17 лв
List of Works in the New York Public Library Relating to Persia Ida Augusta Pratt / Книга С меки корици
common.buy 17.81 € 34.83 лв
A Dictionary of Christian Biography, Literature, Sects and Doctrines Hermogenes to Julianus V5 (LARGE PRINT EDITION) William Smith / Книга С твърди корици
common.buy 71.93 € 140.67 лв
Daughter of the Sword Steve Bein / Книга С меки корици
common.buy 20.40 € 39.90 лв
Sexual Dysfunction A R Markos / Книга С твърди корици
common.buy 135.41 € 264.85 лв
Disturbing Influence Julian Mitchell / Книга С меки корици
common.buy 19.47 € 38.07 лв
British America 1500-1800 Steven Sarson / Книга С меки корици
common.buy 63.95 € 125.08 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?