Rigorous Software Development. An Introduction to Program Verification
1 745 ₽ 2 663 ₽
С другими банками

Краткие характеристики

Автор на обложке
José Bacelar Almeida; Maria João Frade; Jorge Sousa Pinto
Год выпуска
2026
Тип бумаги в книге
Офсетная
Тип обложки
Мягкая обложка
Тип книги
Печать по требованию
Перейти к странице товара
Артикул
5188249948
Автор на обложке
José Bacelar Almeida; Maria João Frade; Jorge Sousa Pinto
Год выпуска
2026
Тип бумаги в книге
Офсетная
Тип обложки
Мягкая обложка
Тип книги
Печать по требованию
Язык издания
Английский
Количество страниц
276
Размеры, мм
156x234
Вес товара, г
464
ISBN
9780857290175
Возрастные ограничения
12+
Документы качества:
Товар не подлежит обязательной сертификации