Languages
Clarke, Edmund.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
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.
(Language materials, printed)
Subjects
Systems engineering
Software Engineering.
Computer security
System theory
Algorithm Analysis and Problem Complexity.
Programming Languages, Compilers, Interpreters.
Computer science
Logics and Meanings of Programs.
Computer Imaging, Vision, Pattern Recognition and Graphics.
Computer software
Software engineering
Computer Science.
Programming Techniques.