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 Kung-Kiu Lau
Код Либристо: 01563497
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, май 2001
This book presents revised full papers from the 10th International Workshop on Logic-Based Program S... Цялото описание
? points 179 b
142 лв
Външен склад в ограничено количество Изпращаме след 12-17 дни

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

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

Ergotherapie Wolfgang Presber / С твърди корици
common.buy 99 лв
Recollections of a Long Life John Cam HobhouseCharlotte Hobhouse Carleton / С меки корици
common.buy 134 лв
Forests in a Market Economy Erin O. Sills / С твърди корици
common.buy 556 лв
bikeline MountainBikeGuide Allgäu / Със спирала
common.buy 45 лв
Language in Use - The pragmatically term politeness in reference to the serial Friends Jessica Narloch / С меки корици
common.buy 92 лв
Terrateer in Training Alexandra Quast / С меки корици
common.buy 25 лв
International Topical Conference on Plasma Science Padma K. Shukla / С твърди корици
common.buy 309 лв
Increasing Climate Variability and Change James Salinger / С твърди корици
common.buy 431 лв

This book presents revised full papers from the 10th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2000, held in London, UK, in July 2000 as part of the International Conference on Computational Logic.The 10 revised full papers presented have gone through two rounds of reviewing, selection and revision. The book is divided in topical sections on synthesis, transformation, analysis, specialization, and abstract interpretation.

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

Пълно заглавие Logic Based Program Synthesis and Transformation
Автор Kung-Kiu Lau
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2001
Брой страници 188
Баркод 9783540421276
ISBN 3540421270
Код Либристо 01563497
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 306
Размери 155 x 235 x 11

Категории

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

Вход

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

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

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

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

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