Cook, Byron.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Computer aided verification22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings /
by:
(1998 :); Cook, Byron.; Jackson, Paul.; SpringerLink (Online service); Touili, Tayssir.
(書目-電子資源)
Formal methods for industrial critical systems14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 : proceedings /
by:
(1998 :); Alpuente, Maria.; Cook, Byron.; Joubert, Christophe.; SpringerLink (Online service)
(書目-電子資源)
主題
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer software
Electronic digital computers
Artificial Intelligence (incl. Robotics)
Formal methods (Computer science)
Special Purpose and Application-Based Systems.
Programming Languages, Compilers, Interpreters.
Computer programs
Computer Science.
Computer Communication Networks.