Нет в продаже
Model Checking. Верификация параллельных и распределенных программных систем
В книге рассказывается о новых результатах в области верификации с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные...
