[email protected]
Ще ви отговорим до 24 часа
Безплатна доставка със Еконт над 129 лв
Speedy office 11.00 лв
Speedy 13.00 лв
ЕКОНТ 6.00 лв
Еконтомат/Офис на Еконт 6.00 лв
Box Now 6.00 лв
Контакт
Как се пазарува?
Помощ
Доставка
Speedy office 11.00 лв
Speedy 13.00 лв
ЕКОНТ 6.00 лв
Еконтомат/Офис на Еконт 6.00 лв
Box Now 6.00 лв
Безплатна доставка със Еконт над 129 лв
Наръчник за пазаруване
Тук сме за Вас!
[email protected]
Моят акаунт
Станете част от общност от любители на книгите от цял свят и получавате много предимства.
Създай на безплатен акаунт
▸
Празна :-(
0
Formal Methods and Software Engineering
Език
Английски език
Английски език
Книга
С меки корици
This book constitutes the refereed proceedings of the 7th International Conference on Formal Enginee...
Цялото описание
Код Либристо: 01561356
?
164 b
164 b
128.23
лв
Външен склад в ограничено количество
Изпращаме след 13-16 дни
30 дни за връщане на стоката
Може би ще Ви заинтересува
This book constitutes the refereed proceedings of the 7th International Conference on Formal Engineering Methods, ICFEM 2005, held in Manchester, UK in November 2005.§The 30 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 74 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification, modelling, security, communication, development, testing, verification, and tools.
Информация за книгата
Пълно заглавие
Formal Methods and Software Engineering
Автор
Kung-Kiu Lau, Richard Banach
Език
Английски език
Английски език
Корици
Книга - С меки корици
Дата на издаване
2005
Брой страници
502
Баркод
9783540297970
ISBN
3540297979
Код Либристо
01561356
Тегло
1580
Размери
216 x 279 x 28
Категории
Computing & Information Technology
>
Computer programming / software engineering
>
Compilers & interpreters
Computing & Information Technology
>
Computer programming / software engineering
>
Programming & scripting languages: general
