Compositional Verification of Concurrent and Real-Time Systems (книга)
Compositional Verification of Concurrent and Real-Time Systems | |
Автор: | Eric Y. T. Juan Jeffrey J. P. Tsai |
---|---|
Оригинал издан: | ???? |
«Compositional Verification of Concurrent and Real-Time Systems» — книга ???? года.
Содержание |
Содержание
От издателя
«…»