[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
Verification-based software-fault detection
Език
Английски език
Английски език
Книга
С меки корици
Software is used in many safety- and security-critical systems. Software development is, however, an...
Цялото описание
Код Либристо: 01877599
?
183 b
183 b
143.10
лв
Външен склад
Изпращаме след 15-20 дни
30 дни за връщане на стоката
Може би ще Ви заинтересува
/
С меки корици
114.43
лв
/
С меки корици
139.97
лв
Software is used in many safety- and security-critical systems. Software development is, however, an error-prone task. In this work new techniques for the detection of software faults (or software "bugs") are described which are based on a formal deductive verification technology. The described techniques take advantage of information obtained during verification and combine verification technology with deductive fault detection and test generation in a very unified way.
Информация за книгата
Пълно заглавие
Verification-based software-fault detection
Автор
Christoph David Gladisch
Език
Английски език
Английски език
Корици
Книга - С меки корици
Дата на издаване
2014
Брой страници
292
Баркод
9783866446762
Код Либристо
01877599
Издателство
Karlsruher Institut Fur Technologie
Тегло
467
Размери
170 x 244 x 15
