語系
Clarke, Edmund.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Perspectives of systems informatics = 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Clarke, Edmund.; Virbitskaite, Irina.; Voronkov, Andrei.
(書目-語言資料,印刷品)
Verification of infinite-state systems with applications to security
by:
�Tiplea, Ferucio Lauren�tiu; NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security ((2005 March 17-22 :); Clarke, Edmund.; Minea, Marius.
(書目-語言資料,印刷品)
主題
Systems engineering
Software Engineering.
Computer security
System theory
Algorithm Analysis and Problem Complexity.
Software engineering
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Computer science
Logics and Meanings of Programs.
Computer Imaging, Vision, Pattern Recognition and Graphics.
Computer software