Rajamani, Sriram K.
概要
作品: | 1 作品在 0 項出版品 0 種語言 |
---|
書目資訊
Verified softwaretheories, tools, experiments : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, proceedings /
by:
(1998 :); Leavens, Gary T.; O'Hearn, Peter.; Rajamani, Sriram K.; SpringerLink (Online service)
(書目-電子資源)
Computer Aided Verification17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings /
by:
(1998 :); Etessami, Kousha.; Rajamani, Sriram K.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Computer software
Electronic digital computers
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Logic Design.
Programming Languages, Compilers, Interpreters.
Computer Science.
Integrated circuits