Clarke, Edmund.

概要

作品:	1 作品在 1 項出版品 1 種語言

書目資訊

Verification of infinite-state systems with applications to security by: Clarke, Edmund.; Minea, Marius.; �Tiplea, Ferucio Lauren�tiu; NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security ((2005 March 17-22 :) (書目-語言資料,印刷品)

Perspectives of systems informatics = 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers / by: Clarke, Edmund.; Virbitskaite, Irina.; SpringerLink (Online service); Voronkov, Andrei. (書目-電子資源)

主題

Software engineering Software Engineering. Systems engineering Logics and Meanings of Programs. Programming Techniques. Algorithm Analysis and Problem Complexity. Computer software- Verification. Programming Languages, Compilers, Interpreters. System theory- Mathematical models Computer security System theory- Security measures Computer science Computer Imaging, Vision, Pattern Recognition and Graphics. Computer Science.