Поиск
На сайте: 567992 статей, 285490 фото.

Verification of Reactive Systems: Formal Methods and Algorithms (книга)

Verification of Reactive Systems: Formal Methods and Algorithms
Автор: Klaus Schneider
K. Schneider
Оригинал издан: ????

«Verification of Reactive Systems: Formal Methods and Algorithms»книга ???? года.

Содержание

Содержание

От издателя

«Reactive systems are becoming more and more important for essentially all areas of technical and professional activities as well as for many areas of everyday life. The design of these systems is a great challenge and requires sound compromises…»

Рецензии

См. также

Ссылки