語系
Jones, Cliff.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Symposium on real-time and hybrid systemsessays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday /
by:
Jones, Cliff.; SpringerLink (Online service); Wang, Ji.; Zhan, Naijun.; Zhou, Chaochen, (1937-,)
(書目-電子資源)
FM 2014Formal methods : 19th International Symposium, Singapore, May 12-16, 2014 : proceedings /
by:
(1998 :); Jones, Cliff.; Pihlajasaari, Pekka.; SpringerLink (Online service); Sun, Jun.
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Theory of Computation.
Logics and Meanings of Programs.
Management of Computing and Information Systems.
Computation by Abstract Devices.
Artificial Intelligence (incl. Robotics)
Formal methods (Computer science)
Software engineering.
Programming Languages, Compilers, Interpreters.
Computer Science.
System Performance and Evaluation.