語系
Hierons, Robert M.
概要
| 作品: | 0 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Testing of communicating systems = 16th IFIP international conference, TestCom 2004, Oxford, UK, March 17-19, 2004 : proceedings /
by:
Groz, Roland.; Hierons, Robert M.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Formal methods and testing = an outcome of the FORTEST network : revised selected papers /
by:
Bowen, J. P. (1956-); Harman, Mark.; Hierons, Robert M.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Software engineering and formal methods = 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013 : proceedings /
by:
Merayo, Mercedes G.; SpringerLink (Online service); Hierons, Robert M.; Workshop on the Preservation of Stability under Discretization ((2001 :); Bravetti, Mario.
(書目-語言資料,印刷品)
主題
Software Engineering.
Telecommunication systems
Formal methods (Computer science)
Computer Communication Networks.
Computer Science.
Programming Techniques.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Management of Computing and Information Systems.
Software engineering
Programming Languages, Compilers, Interpreters.
Computer software