Rigorous Software Development. An Introduction to Program Verification
8 900,19 ֏ 13 936,80 ֏

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

Автор на обложке
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+