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

Rewriting Logic and Its Applications

Език Английски езикАнглийски език
Книга С меки корици
Книга Rewriting Logic and Its Applications Francisco Durán
Код Либристо: 01662337
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, септември 2012
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Wor... Цялото описание
? points 150 b
116.80 лв
Външен склад в ограничено количество Изпращаме след 13-16 дни

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

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

A Case Study: Working Swot of SIM of Technical Programme Rucha Gujar / С меки корици
common.buy 79.38 лв
Embedded Systems Design with FPGAs Peter Athanas / С меки корици
common.buy 298.07 лв
Management des globalen Managements - Managing Global Management Gebhard Deissler / С меки корици
common.buy 282.13 лв
Anerkennung und absolute Religion Thomas M Schmidt / С твърди корици
common.buy 214.65 лв
grand voyage au pays des Hurons Gabriel Sagard / С меки корици
common.buy 75.85 лв
First Year in Canterbury Settlement Samuel Butler / С твърди корици
common.buy 87.85 лв
Armenfursorge bei Wilhelm Loehe und das Werk "Das Armenwesen nach all seinen Richtungen... von Charles Duchatel und Francois Naville Michael Martin Nachtrab / С меки корици
common.buy 78.87 лв
Brief Profile of America's Private Schools - Scholar's Choice Edition / С меки корици
common.buy 34.19 лв

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRLA 2012, held as a satellite event of ETAPS 2012, in Tallinn, Estonia, in March 2012.§The 8 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 12 initial submissions and 5 invited lectures. The papers address a great diversity of topics in the fields of rewriting logic such as: foundations and models, languages, logical and semantic framework, model-based software engineering, real-time and probabilistic extensions, verification techniques, and distributed systems.

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

Пълно заглавие Rewriting Logic and Its Applications
Автор Francisco Durán
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2012
Брой страници 241
Баркод 9783642340048
ISBN 3642340040
Код Либристо 01662337
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 391
Размери 155 x 235 x 14

Категории

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
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
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Вход

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

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

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

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

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