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