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…»
Рецензии
См. также
Ссылки
| Это незавершённая статья о литературе или литературном произведении. Вы можете помочь проекту, исправив и дополнив её. |
