語系
Clarke, Edmund.
概要
作品: | 0 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Verification of infinite-state systems with applications to security
by:
(1998 :); Clarke, Edmund.; Minea, Marius.; �Tiplea, Ferucio Lauren�tiu
(書目-電子資源)
Perspectives of systems informatics8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers /
by:
(1998 :); Clarke, Edmund.; SpringerLink (Online service); Virbitskaite, Irina.; Voronkov, Andrei.
(書目-電子資源)
主題
Software engineering
Software Engineering.
System theory
Systems engineering
Logics and Meanings of Programs.
Computer software
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Programming Languages, Compilers, Interpreters.
Computer security
Computer science
Computer Imaging, Vision, Pattern Recognition and Graphics.
Computer Science.