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

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

Author: Ю. Г. Карпов
Publisher: БХВ-Петербург.
Language: Russian
Year: 2010
Page: 552
ISBN: 978-5-9775-0404-1
File Type: djvu
File Size: 13.1 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book