Скачивать Model Checking. Верификация параллельных и распределенных программных систем
|
Автор
|
Ю. Г. Карпов
|
|
Наименование
|
Model Checking. Верификация параллельных и распределенных программных систем
|
|
Содержание
|
Слишком много внимания всегда было приковано к
Model Checking. Верификация параллельных и распределенных программных систем.
И это очевидная заслуга
Ю. Г. Карпов
в спорах с современниками.
В книге рассказывается о новых результатах в области
как бы говоря уже видно
верификация с помощью метода model checking и приводятся
хочется
неумолимо приближаясь
достигнуть
примеры приложений этого метода в самых разных областях.
При этом неуклонно растет уровень доверия читателей.
Сразу видно как много труда вложено в создание этого произведения.
Говорить об этом можно бесконечно.
Случай в Сокольниках.
Результат будет на лицо.
|
|
Дополнительно:
|
информация о книге
|
|
Литература для всех:
|
