Проверка на състоянието на поръчката
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.08 €
105.77  лв
Външен склад Изпращаме след 5-8 дни

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

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

Biochemisches Handlexikon Andor Fodor / Книга С меки корици
common.buy 55.57 € 108.69 лв
Le Traite Sur Les Sacrifices Fong Et Chan De Se Ma T'Sien (1890) Edouard Chavannes / Книга С меки корици
common.buy 22.98 € 44.94 лв
Collection Des Livrets Des Anciennes Expositions Depuis 1673 Jusqu'en 1800. Exposition de 1765 Guiffrey-J / Книга С меки корици
common.buy 14.29 € 27.94 лв
Le Facteur Ascension F. Ransom Herbert / Книга С меки корици
common.buy 13.77 € 26.94 лв
FARMERS MARKET - Una aplicación web / Книга С меки корици
common.buy 41.23 € 80.64 лв
Подготвяме
Masters of the Universe 1 - Das Buch des Bösen (Neuauflage) Diverse Autoren / Книга С твърди корици
common.buy 20.77 € 40.61 лв
Atlas der Krankheiten, Schädlinge und Nützlinge im Obst- und Weinbau Peter Fischer-Colbrie / Книга С твърди корици
common.buy 60.82 € 118.95 лв
Bloc 3 - Assurer la gestion opérationnelle BTS MCO 1 et 2 (2024) - Pochette élève Hamida / Книга Книга
common.buy 38.25 € 74.80 лв
M?t m? h?n lo?n Francisco Angulo de Lafuente / Книга С меки корици
common.buy 19.22 € 37.60 лв
Niedliche BKH Katzenkinder (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo / Календар/тефтер Календар
common.buy 29.81 € 58.31 лв
LEGO® Harry Potter™ Kouzelnická zábava / Книга С меки корици
common.buy 7.60 € 14.87 лв
Ornamentvogelspinnen Henrik Krehenwinkel / Книга С твърди корици
common.buy 34.65 € 67.76 лв
Kako sam sebi biti najbolji prijatelj Paul Hauck / Книга С меки корици
common.buy 13.67 € 26.74 лв
Protagonismo femenino en cuentos y leyendas de México y Centroamérica Anna Maria Fernández Poncela / Книга С меки корици
common.buy 16.91 € 33.07 лв
Conservateur de la Vue: Suivi Du Manuel de l'Ingenieur Opticien Troisieme Edition Augmentee CHEVALLIER-J / Книга С меки корици
common.buy 47.91 € 93.71 лв
La mort sur ses épaules Farmer / Книга С меки корици
common.buy 30.33 € 59.32 лв
Lettres Parisiennes Sur Le Desir d'Etre Heureux. Partie 2 Jacquin-A-P / Книга С меки корици
common.buy 19.12 € 37.40 лв
Coches del futuro: El DeLorean del siglo XXI y los nanomateriales Abg Technologies / Книга С меки корици
common.buy 18.30 € 35.79 лв
Tvory Volume 9 Volodymyr Vynnychenko / Книга С меки корици
common.buy 22.98 € 44.94 лв
Océanos de inmortalidad: Un círculo, seis mujeres y muchas vidas pasadas. Bea Panisello / Книга С меки корици
common.buy 19.58 € 38.30 лв
Kúpte si družičku! Jacqueline Wilsonová / Книга С меки корици
common.buy 8.38 € 16.38 лв
Les Reformes Sociales Dreux-A / Книга С меки корици
common.buy 13.00 € 25.43 лв
Memorial Havrais, Guide Pratique Des Proprietaires, Locataires, Entrepreneurs & Industriels Fleury-V / Книга С меки корици
common.buy 33.21 € 64.95 лв
Dictionnaire de l'Armee de Terre BARDIN-E-A / Книга С меки корици
common.buy 26.06 € 50.97 лв

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 107.91 € 211.06 лв
Hybrid Latex Particles Alex M. van Herk / Книга С меки корици
common.buy 323.18 € 632.08 лв
Production Planning in Automated Manufacturing Yves Crama / Книга С меки корици
common.buy 58.25 € 113.92 лв
Blood: Book One Latreace C Warren / Книга С меки корици
common.buy 13.00 € 25.43 лв
Sciences in the Universities of Europe, Nineteenth and Twentieth Centuries Ana Simoes / Книга С меки корици
common.buy 129.45 € 253.19 лв
Medical Imaging Techniques and Applications Marcus Lewis / Книга С твърди корици
common.buy 119.27 € 233.28 лв
Counterfeit Souls Va Andrews / Книга С меки корици
common.buy 8.48 € 16.58 лв
Little Book Of Eternal Wisdom Blessed Henry Suso / Книга С меки корици
common.buy 13.82 € 27.04 лв
Mind Power Secrets: Road To Riches Shana O Lean / Книга С меки корици
common.buy 15.62 € 30.56 лв
The Question of Alsace and Lorraine Thomas Willing Balch / Книга С меки корици
common.buy 15.52 € 30.36 лв
How To Be Free: A Practical Guide To Positive Living Livingstone Bvumbi / Книга С меки корици
common.buy 10.28 € 20.10 лв
Echoes Down a Dark Well Ric Wasley / Книга С меки корици
common.buy 17.42 € 34.08 лв
Reading Wonders, Grade 4, Leveled Reader Nellie Bly: Reporter for the Underdog, Approaching, Unit 3, 6-Pack Mcgraw-Hill Education / Книга С твърди корици
common.buy 74.29 € 145.29 лв
Nineteenth-Century Poetry and Liberal Thought Anna Barton / Книга С твърди корици
common.buy 111.25 € 217.59 лв
Politics Latin America Gavin O'Toole / Книга С твърди корици
common.buy 254.54 € 497.84 лв
Lost Founding Father William J. Cooper / Книга С твърди корици
common.buy 29.97 € 58.61 лв
Подготвяме Нови
Ahmadu Bamba and Decolonization Cheikh M. (Union College) Ndiaye / Книга С меки корици
common.buy 44.67 € 87.37 лв
Top
100 Things to Know About Numbers, Computers & Coding NOT KNOWN / Книга С твърди корици
common.buy 11.41 € 22.31 лв
South Windsor Claire Lobdell / Книга С твърди корици
common.buy 24.42 € 47.75 лв
Information Geometry and Population Genetics Julian Hofrichter / Книга С меки корици
common.buy 140.20 € 274.21 лв
Solutions: Elementary: Student's Book and Online Practice Pack Tim Falla / Книга С меки корици
common.buy 67.81 € 132.62 лв
Making Sense LILA ROSE / Книга С меки корици
common.buy 14.18 € 27.74 лв
Coal Mining in Pakistan Mudassar Ali Raja / Книга С меки корици
common.buy 37.53 € 73.40 лв
Operational Costs in Acquisitions James R. Coffey / Книга С меки корици
common.buy 55.11 € 107.79 лв

Вход

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

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

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

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

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