Введение в формальные методы верификации программ. 2-е изд., испр

Характеристики
ISBN 978-5-93700-340-9
Автор Камкин А.С.
Издательство ДМК Пресс
Переплет Пер
Вес, гр 631
Год 2024
Стр. 304
ID 55РП