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 Sandro Etalle
Код Либристо: 01560821
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, юни 2005
This book constitutes the thoroughly refereed postproceedings of the 14th International Symposium on... Цялото описание
? points 165 b
130 лв
Външен склад в ограничено количество Изпращаме след 10-15 дни

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

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

TOP
Haikyu!!, Vol. 14 Haruichi Furudate / С меки корици
common.buy 19 лв
ПОДГОТВЯМЕ
Maze Runner James Dashner / С меки корици
common.buy 26 лв
Google Cloud Platform in Action John J. Geewax / С меки корици
common.buy 142 лв
Maltese Falcon Dashiell Hammett / С меки корици
common.buy 21 лв
Secret Kingdom: Magic Mountain Rosie Banks / С меки корици
common.buy 14 лв
Treasure Island and The Ebb-Tide Robert Louis Stevenson / С меки корици
common.buy 19 лв
Enterococcus faecalis / С твърди корици
common.buy 557 лв
E-Myth Contractor Michael E. Gerber / С меки корици
common.buy 32 лв
Forensic Ballistics in Court - Interpretation and Presentation of Firearms Evidence Brian J. Heard / С твърди корици
common.buy 317 лв
Model-Based Reasoning in Science and Technology Lorenzo Magnani / С твърди корици
common.buy 510 лв
Ma, I've Reached for the Moon an I'm Hittin the Stars Martha Long / С меки корици
common.buy 37 лв
Nuclear Weapons Counterproliferation Jack Garvey / С твърди корици
common.buy 342 лв
Text Book of Boxing Jim Driscoll / С меки корици
common.buy 39 лв
Graph Based Representations in Pattern Recognition Edwin Hancock / С меки корици
common.buy 130 лв
English Auxiliaries Anthony R. Warner / С меки корици
common.buy 104 лв
From Understanding to Action Marco Keiner / С твърди корици
common.buy 257 лв

This book constitutes the thoroughly refereed postproceedings of the 14th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2004, held in Verona, Italy in August 2004. The 17 revised full papers presented were carefully selected and revised from 23 full paper and 11 extended abstract submissions. The papers are organized in topical sections on verification and analysis, theory and security, transformations, program development, termination, and program development and synthesis.

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

Пълно заглавие Logic Based Program Synthesis and Transformation
Автор Sandro Etalle
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2005
Брой страници 284
Баркод 9783540266556
ISBN 3540266550
Код Либристо 01560821
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 450
Размери 155 x 235 x 16

Категории

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

Вход

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

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

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

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

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