Поиск
На сайте: 684756 статей, 309423 фото.

Computer-Aided Verification of Coordinating Processes (книга)

Computer-Aided Verification of Coordinating Processes
Автор: Robert P. Kurshan
Оригинал издан: ????

«Computer-Aided Verification of Coordinating Processes»книга ???? года.

Содержание

Содержание

От издателя

«Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification…»

Рецензии

См. также

Ссылки