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

Software Engineering and Formal Methods

Език Английски езикАнглийски език
Книга С меки корици
Книга Software Engineering and Formal Methods Robert Hierons
Код Либристо: 02016931
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, септември 2013
This book constitutes the refereed proceedings of the11th International Conference on Software Engin... Цялото описание
? points 164 b
128.20 лв
Външен склад в ограничено количество Изпращаме след 13-16 дни

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

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

Zimbabwe in Pictures Keith Hern / С меки корици
common.buy 69.69 лв
Necessary Goods Gillian Brock / С меки корици
common.buy 144.54 лв
Smoker Cookbook in Texas Style: The Art of Smoking Meat with Texas BBQ, Ultimate Smoker Cookbook for Real Pitmasters, Irresistible Barbecue Recipes in Adam Jones / С меки корици
common.buy 43.06 лв
All-American Boy Larzer Ziff / С твърди корици
common.buy 48.31 лв
Informationen zur Rechtewahrnehmung im Urheberrecht Julius Mittenzwei / С меки корици
common.buy 250.86 лв
What Works in Corrections Doris Layton MacKenzie / С твърди корици
common.buy 301.00 лв
ПОДГОТВЯМЕ
Dirty Deeds: Dirty Angels 2 Karina Halle / С меки корици
common.buy 20.67 лв
White House is Burning Jane Sutcliffe / С твърди корици
common.buy 34.69 лв
Fortune like the Moon Alys Clare / С меки корици
common.buy 22.99 лв
Le Lai de Lanval Marie de France / С меки корици
common.buy 12.50 лв
Introduction to Anglo-Saxon. An Anglo-Saxon Reader, With Philological Notes, A Brief Grammar, and A Vocabulary. by Francis A. March ... Francis Andrew March / С меки корици
common.buy 49.32 лв
L-Architectes Heinz Wirz / С меки корици
common.buy 74.54 лв

This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized in topical section on real-time systems, verification, types and inference, static analysis, testing and runtime verification, and synthesis and transformation.

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

Пълно заглавие Software Engineering and Formal Methods
Автор Robert Hierons, Mercedes G. Merayo, Mario Bravetti
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2013
Брой страници 321
Баркод 9783642405600
ISBN 3642405606
Код Либристо 02016931
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 5153
Размери 155 x 235 x 19

Категории

Computing & Information Technology > Computer hardware > Network hardware
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