Результаты поиска - "Computer logic Congresses."
Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
-
1
Formal logical methods for system security and correctness
Опубликовано 2008Предметы: “...Computer logic Congresses....”
An electronic book accessible through the World Wide Web; click to view
Электронный ресурс Материалы конференции eКнига