Author books / Книги автора Карпов Юрий Глебович » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Карпов Юрий Глебович

book MODEL СHECKING. Верификация параллельных и распределенных программных систем

MODEL СHECKING. Верификация параллельных и распределенных программных систем

pdf

Author: Карпов Юрий Глебович

00

05.02.2024

0

0