На главную » Карпов Ю.Г.

Карпов Ю.Г.

Model Checking: Верификация параллельных и распределенных программных систем (+ CD-ROM)
Model Checking: Верификация параллельных и...
Общие вопросы разработки и тестирования...