Карпов Ю.Г.

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

В книге рассказывается о новых результатах в области верификации с помощью метода model checking и…