Проверка на състоянието на поръчката
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

11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers

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

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

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

Biochemisches Handlexikon Andor Fodor / Книга С меки корици
common.buy 55.98 € 109.48 лв
Le Traite Sur Les Sacrifices Fong Et Chan De Se Ma T'Sien (1890) Edouard Chavannes / Книга С меки корици
common.buy 23.14 € 45.26 лв
Les Reformes Sociales Dreux-A / Книга С меки корици
common.buy 13.72 € 26.83 лв
Memorial Havrais, Guide Pratique Des Proprietaires, Locataires, Entrepreneurs & Industriels Fleury-V / Книга С меки корици
common.buy 34.17 € 66.84 лв
Lettres Parisiennes Sur Le Desir d'Etre Heureux. Partie 2 Jacquin-A-P / Книга С меки корици
common.buy 20.29 € 39.69 лв
Conservateur de la Vue: Suivi Du Manuel de l'Ingenieur Opticien Troisieme Edition Augmentee CHEVALLIER-J / Книга С меки корици
common.buy 48.26 € 94.39 лв
Kúpte si družičku! Jacqueline Wilsonová / Книга С меки корици
common.buy 8.44 € 16.50 лв
Protagonismo femenino en cuentos y leyendas de México y Centroamérica Anna Maria Fernández Poncela / Книга С меки корици
common.buy 17.14 € 33.51 лв
FARMERS MARKET - Una aplicación web / Книга С меки корици
common.buy 41.53 € 81.22 лв
Masters of the Universe 1 - Das Buch des Bösen (Neuauflage) Diverse Autoren / Книга С твърди корици
common.buy 20.92 € 40.91 лв
Niedliche BKH Katzenkinder (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo / Календар/тефтер Календар
common.buy 30.08 € 58.84 лв
LEGO® Harry Potter™ Kouzelnická zábava / Книга С меки корици
common.buy 7.66 € 14.98 лв
Ornamentvogelspinnen Henrik Krehenwinkel / Книга С твърди корици
common.buy 34.90 € 68.26 лв

This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001, held in Paphos, Cyprus, in November 2001.The 13 revised full papers presented together with an invited paper were carefully selected and improved during two rounds of reviewing and revision. The papers are organized in topical sections on program transformation and equivalence, program verification, program analysis, program development, and program synthesis.

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

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

Пълно заглавие Logic Based Program Synthesis and Transformation
Автор Alberto Pettorossi
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2002
Брой страници 272
Баркод 9783540439158
ISBN 3540439153
Код Либристо 01564461
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 880
Размери 155 x 235 x 16

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Medicine & Nursing > Medicine: general issues
Computing & Information Technology > Operating systems
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Models in Cooperative Game Theory Rodica Branzei / Книга С меки корици
common.buy 108.69 € 212.58 лв
Hybrid Latex Particles Alex M. van Herk / Книга С меки корици
common.buy 325.52 € 636.66 лв
Production Planning in Automated Manufacturing Yves Crama / Книга С меки корици
common.buy 61.21 € 119.71 лв
Подготвяме Нови
Ahmadu Bamba and Decolonization Cheikh M. (Union College) Ndiaye / Книга С меки корици
common.buy 45.00 € 88.01 лв
Sciences in the Universities of Europe, Nineteenth and Twentieth Centuries Ana Simoes / Книга С меки корици
common.buy 130.39 € 255.02 лв
Lost Founding Father William J. Cooper / Книга С твърди корици
common.buy 30.19 € 59.04 лв
Echoes Down a Dark Well Ric Wasley / Книга С меки корици
common.buy 17.55 € 34.33 лв
How To Be Free: A Practical Guide To Positive Living Livingstone Bvumbi / Книга С меки корици
common.buy 10.35 € 20.25 лв
The Question of Alsace and Lorraine Thomas Willing Balch / Книга С меки корици
common.buy 15.63 € 30.58 лв
Mind Power Secrets: Road To Riches Shana O Lean / Книга С меки корици
common.buy 15.74 € 30.78 лв
Little Book Of Eternal Wisdom Blessed Henry Suso / Книга С меки корици
common.buy 13.93 € 27.24 лв
Counterfeit Souls Va Andrews / Книга С меки корици
common.buy 8.54 € 16.70 лв
Medical Imaging Techniques and Applications Marcus Lewis / Книга С твърди корици
common.buy 120.14 € 234.97 лв
Top
100 Things to Know About Numbers, Computers & Coding NOT KNOWN / Книга С твърди корици
common.buy 11.54 € 22.58 лв
South Windsor Claire Lobdell / Книга С твърди корици
common.buy 24.59 € 48.10 лв
Information Geometry and Population Genetics Julian Hofrichter / Книга С меки корици
common.buy 107.19 € 209.65 лв
Coal Mining in Pakistan Mudassar Ali Raja / Книга С меки корици
common.buy 37.80 € 73.93 лв
Operational Costs in Acquisitions James R. Coffey / Книга С меки корици
common.buy 53.49 € 104.62 лв
First Victory Stewart Andrew Stewart / E-книга Adobe ePub DRM
common.buy 13.41 € 26.22 лв
Essential Business Grammar Builder, w. Audio-CD Paul Emmerson / Книга С меки корици
common.buy 42.98 € 84.06 лв
Dark Coulee Mary Logue / Книга С меки корици
common.buy 14.75 € 28.86 лв
Landscape Design / Книга С твърди корици
common.buy 63.33 € 123.86 лв
Top
John Donne John Donne / Книга С меки корици
common.buy 11.54 € 22.58 лв
Community, Economic Creativity, and Organization Ash Amin / Книга С твърди корици
common.buy 78.66 € 153.84 лв

Вход

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

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

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

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

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