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

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

Содержание

Содержание

От издателя

«…»

Рецензии

См. также

Ссылки