语系
Clarke, Edmund.
概要
作品: | 1 作品在 1 项出版品 1 种语言 |
---|
书目信息
Perspectives of systems informatics[electronic resource] :8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers /
by:
Clark Conference ((2005 :); Clarke, Edmund.; SpringerLink (Online service); Virbitskaite, Irina.; Voronkov, Andrei.
(书目-语言数据,印刷品)
Verification of infinite-state systems with applications to security[electronic resource] /
by:
Clark Conference ((2005 :); Clarke, Edmund.; Minea, Marius.; �Tiplea, Ferucio Lauren�tiu
(书目-语言数据,印刷品)
主题
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.