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

Author
Миронов А.М.
Publisher
МГУ
Language
Russian
Year
2020
File Type
pdf
File Size
606.0 KiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book