RUSSIAN

Верификация программ методом model checking

By Миронов А.М.

Book information

Publisher
МГУ
Year
2020
Language
russian
Format
PDF
Filesize
606 kB (620583 bytes)
Pages
\74
Time added
2023-09-10 15:16:02

Similar books