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

12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers

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

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

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

Manual para ser feliz around the world ALESS GIBAJA / Книга С меки корици
common.buy 17.86 € 34.93 лв
Pojazdy Ernest Błędowski / Книга С меки корици
common.buy 1.34 € 2.62 лв
Thomas Jules Lebrun / Книга С твърди корици
common.buy 9.42 € 18.42 лв
La rythmologie - une date bien choisie peut changer votre vie Wozniak / Книга С меки корици
common.buy 23.97 € 46.88 лв
Top
Benjamín Solari Parravicini Zerpa / Книга С меки корици
common.buy 12.06 € 23.59 лв
PARIS GA TANOSHIKUNARU (GUIDE DE CONVERSATION) (bilingue Japonais - Français) Ogino Книга С меки корици
common.buy 20.35 € 39.79 лв
Un jour, une dictée CM1 - Cahier corrigé + Guide PCF collegium / Книга С меки корици
common.buy 41.79 € 81.73 лв
Osterlandsagen Geyer / Книга С меки корици
common.buy 18.02 € 35.24 лв
Supplement Au Memoire de M. Clausel de Coussergues En Ce Qui Concerne La Prefecture de Police Cahaisse-H-A / Книга С меки корици
common.buy 14.60 € 28.55 лв
Pohádky obtáhni a vykresli - omalovánka / Канцеларски материали Канцеларски материали
common.buy 1.55 € 3.03 лв
Metaphern der Gewalt Monika Schwarz-Friesel / Книга С меки корици
common.buy 32.83 € 64.20 лв
Gestion Participativa En Programas Sociales y de Salud Sonia Vanesa Messina / Книга С меки корици
common.buy 46.39 € 90.74 лв
Malcolm Max - Auferstehung Peter Mennigen / Книга С твърди корици
common.buy 13.41 € 26.22 лв
Brainwash - Gefangene Gedanken, Audio-CD, Audio-CD / Аудио Аудио компактдиск
common.buy 9.42 € 18.42 лв
Expeditionen in den dunklen Kontinent Ruth Hagen / Книга С меки корици
common.buy 52.61 € 102.89 лв
Písání John Lennon / Книга С твърди корици
common.buy 9.58 € 18.73 лв
? travers la Montagne corse / TopoGuides / Книга С меки корици
common.buy 26.15 € 51.14 лв
El problema mente-cerebro / The Mind-Body Problem Mario Bunge / Книга С меки корици
common.buy 23.25 € 45.47 лв
Paula I. Allende / Книга С меки корици
common.buy 12.06 € 23.59 лв
Intoxicated eyes over the penner: Cheshman-e Mast-e Rooye Ghalamdan Shiva Shakoori / Книга С меки корици
common.buy 11.23 € 21.97 лв
Petru Fideliovi Sborník k sedmdesátinám Lucie Malá / Книга С меки корици
common.buy 11.44 € 22.37 лв
Malý zajíček Oblečení neuvedený autor / Книга Дипляна
common.buy 2.38 € 4.65 лв

This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002.§§The 15 revised full papers presented together with 7 abstracts were carefully selected during two rounds of reviewing and revision from 40 submissions. The papers are organized in topical sections on debugging and types, tabling and constraints, abstract interpretation, program refinement, verification, partial evaluation, and rewriting and object-oriented development.

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

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

Пълно заглавие Logic Based Program Synthesis and Transformation
Автор M. Leuschel
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2003
Брой страници 279
Баркод 9783540404385
ISBN 3540404384
Код Либристо 01562768
Издателство Springer, Berlin
Тегло 417
Размери 155 x 235 x 15

Категории

Children’s, Teenage & Educational > Educational material > Educational: Mathematics, science & technology, general > Educational: Sciences, general science
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer programming / software engineering
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Fundamentals of Molecular Spectroscopy Prabal Kumar Mallick / Книга С твърди корици
common.buy 195.43 € 382.24 лв
Practical Simulation in Urology Chandra Shekhar Biyani / Книга С твърди корици
common.buy 212.68 € 415.96 лв
The Meaning of Truth William James / Книга С меки корици
common.buy 6.73 € 13.16 лв
Treasure Within You Mitra Somerville / Книга С меки корици
common.buy 22.21 € 43.44 лв
Welcome, Baby!: Keeping You Safe Susan Kathleen Hartung / Книга Дипляна
common.buy 9.21 € 18.02 лв
Southern Legacy H G Manning / Книга С меки корици
common.buy 19.31 € 37.77 лв
TERRIFIC TUNES FOR TWO BOOK 1 MARTHA MIER / Книга С меки корици
common.buy 16.10 € 31.49 лв
Top
Good Inside: A Guide to Becoming the Parent You Want to Be KENNEDY BECKY / Книга С твърди корици
common.buy 25.16 € 49.21 лв
Endymion Dan Simmons / Книга С меки корици
common.buy 14.91 € 29.16 лв
Top
Valor John Gwynne / Книга С меки корици
common.buy 17.29 € 33.82 лв
Elements John Boyne / Книга С меки корици
common.buy 17.08 € 33.41 лв
Loving Life Gene Loving / Книга С меки корици
common.buy 27.54 € 53.87 лв
Seven At The Sevens WritersAnonymous. org / Книга С твърди корици
common.buy 37.90 € 74.13 лв
Creative Journey Through Art; Book One, Adult Colouring Book: Adult Colouring Book (revised version) Margaret Lynn Atkinson / Книга С меки корици
common.buy 7.66 € 14.98 лв
Monsters of River & Rock: My Life as Iron Maiden's Compulsive Angler Adrian Smith / Книга С твърди корици
common.buy 25.58 € 50.02 лв
Killing Marias CLAUDIA CASTRO LUNA / Книга С меки корици
common.buy 12.16 € 23.79 лв
OpenCV 3 Computer Vision with Python Cookbook Alexey Spizhevoy / Книга С меки корици
common.buy 49.71 € 97.22 лв
Science Comics MK Reed / Книга С меки корици
common.buy 11.39 € 22.27 лв
Understanding Artificial Intelligence Sabouret / Книга С твърди корици
common.buy 127.23 € 248.84 лв
The Center Seat - 55 Years of Trek: Subtitle the Complete, Unauthorized Oral History of Star Trek Peter Holmstrom / Книга С твърди корици
common.buy 27.34 € 53.47 лв
Inverse Synthetic Aperture Radar Imaging With MATLAB Algorithms Caner Ozdemir / Книга С твърди корици
common.buy 136.76 € 267.48 лв
Written Language Disorders R.M. Joshi / Книга С твърди корици
common.buy 162.91 € 318.63 лв
Floating Gate Devices: Operation and Compact Modeling Paolo Pavan / Книга С твърди корици
common.buy 119.77 € 234.26 лв

Вход

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

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

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

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

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