Поиск
На сайте: 621705 статей, 305207 фото.

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»книга ???? года.

Содержание

Содержание

От издателя

«…»

Рецензии

См. также

Ссылки