info@libristo.bg
LIBRISTO 0
Безплатна доставка със Speedy над 129 лв
Box Now 9 лв Speedy office 11 лв Speedy 13 лв ЕКОНТ 6 лв Еконтомат/Офис на Еконт 6 лв
phone Контакт phoneКак се пазарува?

Logic Based Program Synthesis and Transformation

Език Английски езикАнглийски език
Книга С меки корици
Книга 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 179 b
142 лв
Външен склад в ограничено количество Изпращаме след 12-17 дни

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

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

Let the Old Dreams Die John Ajvide Lindqvist / С меки корици
common.buy 26 лв
Keynes Robert Skidelsky / С меки корици
common.buy 29 лв
Monsters of River & Rock: My Life as Iron Maiden's Compulsive Angler / С твърди корици
common.buy 55 лв
The Skyhawk Years: The A-4 Skyhawk in Australian Service 1968 - 1984 David Prest / С твърди корици
common.buy 98 лв
Practical Simulation in Urology Chandra Shekhar Biyani / С твърди корици
common.buy 565 лв
Benjamín Solari Parravicini Zerpa / С меки корици
common.buy 24 лв
Mariko Mori Vicky Hayward / Лист
common.buy 134 лв
Petru Fideliovi Sborník k sedmdesátinám Lucie Malá / С меки корици
common.buy 18 лв
TERRIFIC TUNES FOR TWO BOOK 1 MARTHA MIER / С меки корици
common.buy 17 лв
Benjamin Britten Benjamin Britten / С меки корици
common.buy 28 лв
Floating Gate Devices: Operation and Compact Modeling Paolo Pavan / С твърди корици
common.buy 280 лв
Modern Construction Envelopes Andrew Watts / С твърди корици
common.buy 221 лв
Principles of Accounts for CSEC (R) Examinations 3rd Edition Student's Book Gaynelle Holdip / С меки корици
common.buy 60 лв
Max Beckmann / С твърди корици
common.buy 165 лв
100 Scientists Who Made History DK / С твърди корици
common.buy 47 лв
Specimen Sight-Singing Tests, Grades 6-8 ABRSM / Ноти
common.buy 27 лв

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.

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

Пълно заглавие 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 Книгата ще пристигне на адреса на получателя

Вход

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

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

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

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

Създаване на акаунт за Libristo