Дедуктивная верификация программного обеспечения - The KeY Book: От теории к практике
Товар
29 206 ₽
Пошлина ≈83 ₽ не входит в цену.
Дедуктивная верификация программного обеспечения - The KeY Book: От теории к практике
- 0 раз купили
- 0 оценка
- 10 осталось
- 0 отзывов
Доставка
Характеристики
Артикул
16437096283
Identyfikator produktu
16437096283
Состояние
Новый
Autor
Praca zbiorowa
Seria
inna (Programming and Software Engineering)
Tytuł
Deductive Software Verification - The KeY Book: Fr
Nośnik
książka papierowa
Okładka
miękka
Rok wydania
2016
Wydawnictwo
Springer
Liczba stron
702
Stan opakowania
oryginalne
Język publikacji
angielski
Wysokość produktu
23.5 cm
Szerokość produktu
15.5 cm
Описание
Deductive Software Verification - The KeY Book: From Theory to Practice
Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering.
- Wydawnictwo: Springer
- Rok wydania: 2016
- Okładka: miękka
- Liczba stron: 702
- Wymiary: 15.5 x 23.5 x 3.7 cm
- Ilustracje: 110 Illustrations, black and white; XXXII, 702 p. 110 illus.
- Język: angielski
- ISBN: 9783319498119
Гарантии
Гарантии
Мы работаем по договору оферты и предоставляем все необходимые документы.
Возврат товара
Безопасная оплата
Банковской картой, электронными деньгами, наличными в офисе или на расчётный счёт.
Отзывы о товаре
