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

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

Author: Карпов Ю.Г.
Publisher: БХВ-Петербург
Language: Russian
Year: 2010
Page: 560
ISBN: 9785977504041
File Type: pdf
File Size: 17.9 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book