Доказательство корректности программ

Характеристики
ISBN 978-5-93700-199-3
Автор Лейно К.Р.М.
Издательство ДМК
Переплет Пер
Серия ДМК
Вес, гр 951
Год 2024
ID 47РП