Rigorous Software Development. An Introduction to Program Verification
239 382 soʻm 386 969 soʻm

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

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