info@libristo.bg
LIBRISTO 0
Безплатна доставка със Speedy над 129 лв
Box Now 9 лв Speedy office 11 лв Speedy 13 лв ЕКОНТ 6 лв Еконтомат/Офис на Еконт 6 лв
phone Контакт phoneКак се пазарува?

Formal Methods and Software Engineering

Език Английски езикАнглийски език
Книга С меки корици
Книга Formal Methods and Software Engineering Michael Butler
Код Либристо: 09535572
Издателство Springer International Publishing AG, ноември 2015
This book constitutes the refereed proceedings of the 17th International§Conference on Formal Engine... Цялото описание
? points 165 b
128 лв
Външен склад в ограничено количество Изпращаме след 10-14 дни

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

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

More! Level 1 Presentation Plus DVD-ROM Herbert Puchta / Digital DVD
common.buy 208 лв
Auf dass wir klug werden Anja Zimmer / С меки корици
common.buy 31 лв
Chaplains of ANZAC Dr Jennifer Betham-Lang / С твърди корици
common.buy 35 лв
Rival Truths Lindsay St Claire / С меки корици
common.buy 109 лв
Entstehung und Entwicklung des nationalsozialistischen Denkens in OEsterreich. Eine Analyse von Martin Pollacks "Der Tote im Bunker. Bericht uber mein Kacper Piontkowski / С меки корици
common.buy 89 лв
Biotechs A Schneider / С меки корици
common.buy 79 лв
de l'Utilite Des Colonies Pour La France Et Du Systeme Des Douanes Applique Aux Denrees Coloniales Ambert-J / С меки корици
common.buy 32 лв
Essai Philosophique Sur Le Corps Humain: Pour Servir de Suite A La Philosophie de la Nature. V2 Jean Baptiste Claude Delisle De Sales / С меки корици
common.buy 65 лв
ПОДГОТВЯМЕ
Thermo-Hydraulics of Nuclear Reactors Christopher Earls Brennen / С твърди корици
common.buy 107 лв
Die Geschichte des Gil Blas von Santillana Alain René Le Sage / С меки корици
common.buy 113 лв
Neurobrucellosis Mehmet Turgut / С твърди корици
common.buy 257 лв
American Game Fishes; Their Habits, Habitat and Peculiarities; / С твърди корици
common.buy 91 лв

This book constitutes the refereed proceedings of the 17th International§Conference on Formal Engineering Methods, ICFEM 2015, held in Paris,§France, in November 2015. The 27 revised full papers presented were§carefully reviewed and selected from 82 submissions. The papers cover a wide§range of topics in the area of formal methods and software engineering and are§devoted to advancing the state of the art of applying formal methods in§practice. They focus in particular on combinations of conceptual and§methodological aspects with their formal foundation and tool support.

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

Пълно заглавие Formal Methods and Software Engineering
Автор Michael Butler, Sylvain Conchon, Fatiha Za?di
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2015
Брой страници 436
Баркод 9783319254227
ISBN 3319254227
Код Либристо 09535572
Издателство Springer International Publishing AG
Тегло 6964
Размери 155 x 235 x 236

Категории

Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
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
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Вход

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

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

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

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

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