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

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