[email protected]
LIBRISTO 0
Безплатна доставка със Еконт над 129 лв
Speedy office 11.00 лв Speedy 13.00 лв ЕКОНТ 6.00 лв Еконтомат/Офис на Еконт 6.00 лв Box Now 6.00 лв
phone Контакт phoneКак се пазарува?

Logic Program Synthesis and Transformation

Език Английски езикАнглийски език
Книга С меки корици
Книга Logic Program Synthesis and Transformation John Gallagher
Код Либристо: 05274682
Издателство Springer, Berlin, ноември 1996
This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Wor... Цялото описание
? points 164 b
128.20 лв
Външен склад в ограничено количество Изпращаме след 13-16 дни

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

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

MMA Mastery: Strike Combinations Mark Hatmaker / С меки корици
common.buy 24.50 лв
Business Teacher's Resource John Allison / Видео
common.buy 54.36 лв
Friedrich Schiller Peter-André Alt / С меки корици
common.buy 20.77 лв
Latte Igel 3: Latte Igel und der Schwarze Schatten, 2 Audio-CD Sebastian Lybeck / Аудио компактдиск
common.buy 18.55 лв
Works of Aphra Behn: v. 7: Complete Plays Aphra Behn / С твърди корици
common.buy 326.42 лв
The Casus Codicis of Wilhelmus de Cabriano Tammo Wallinga / С твърди корици
common.buy 216.77 лв
Independent central banks and economic performance Sylvester C. W. Eijffinger / С твърди корици
common.buy 743.32 лв
Das Lied von Eis und Feuer - Die Saat des goldenen Löwen, 3 Audio-CD, 3 MP3 George R. R. Martin / Аудио компактдиск
common.buy 44.48 лв
Afrikanische Kunst Ferdinand Herrmann / С меки корици
common.buy 94.10 лв
Electromagnetic Field Computation by Network Methods Leopold B. Felsen / С твърди корици
common.buy 252.78 лв
Schule für die Altblockflöte Franz J. Giesbert / Ноти
common.buy 49.22 лв
Experiment in Occupation Arthur D. Kahn / С меки корици
common.buy 81.50 лв
Victorian Radicals and Italian Democrats Marcella Pellegrino Sutcliffe / С твърди корици
common.buy 210.81 лв

This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996.The 17 revised full papers were carefully selected from a total of initially 27 submissions. The topics covered range over the areas of synthesis of programs from specifications, verification, transformation, specialization, and analysis of programs, and the use of program schemata in program development.

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

Пълно заглавие Logic Program Synthesis and Transformation
Автор John Gallagher
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1997
Брой страници 331
Баркод 9783540627180
ISBN 3540627189
Код Либристо 05274682
Издателство Springer, Berlin
Тегло 438
Размери 156 x 234 x 18

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Object-oriented programming (OOP)
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
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
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Вход

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

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

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

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

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