Languages
Jones, Cliff.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
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-,)
(Electronic resources)
FM 2014Formal methods : 19th International Symposium, Singapore, May 12-16, 2014 : proceedings /
by:
(1998 :); Jones, Cliff.; Pihlajasaari, Pekka.; SpringerLink (Online service); Sun, Jun.
(Electronic resources)
Subjects
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.