Верификация автоматных программ

Author: М-во образования и науки Российской Федерации, Санкт-Петербургский гос. ун-т информ. технологий, механики и оптики Вельдер, Сергей Эдуардович
Publisher: Наука
Language: Russian
Year: 2011
Page: 246
ISBN: 978-5-02-038160-5
File Type: pdf
File Size: 2.5 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book