Книги автора Robert P.Kurshan

Computer-Aided Verification of Coordinating Processes

Автор: Robert P.Kurshan
Год: [не указано]
Издание: [не указанo]
Похожие авторы, соавторы: