語系
Katoen, Joost-Pieter.
概要
| 作品: | 5 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
CONCUR 2011 = concurrency theory : 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 : proceedings /
by:
Katoen, Joost-Pieter.; SpringerLink (Online service); Konig, Barbara.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Dependable Software Engineering. Theories, Tools, and Applications = 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings /
by:
Guan, Nan.; Katoen, Joost-Pieter.; SpringerLink (Online service); Sun, Jun.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Principles of model checking
by:
Baier, Christel.; NetLibrary, Inc.; Katoen, Joost-Pieter.
(書目-語言資料,印刷品)
ModelEd, testEd, trustEd = essays dedicated to Ed Brinksma on the occasion of his 60th birthday /
by:
Langerak, Rom.; SpringerLink (Online service); Katoen, Joost-Pieter.; Rensink, Arend.
(書目-語言資料,印刷品)
主題
Software Engineering.
Mathematical logic.
Formal methods (Computer science)
Computer organization.
Algorithm Analysis and Problem Complexity.
Computer logic.
Computer Communication Networks.
Software engineering.
Computer Science.
Computer multitasking
Microprogramming .
Programming Languages, Compilers, Interpreters.
Parallel processing (Electronic computers)
Computer Systems Organization and Communication Networks.
Information Systems Applications (incl.Internet)
Logics and Meanings of Programs.
Computer science
Mathematical Logic and Formal Languages.
Computer software
Computer simulation.
Artificial Intelligence (incl. Robotics)
Control Structures and Microprogramming.
Simulation and Modeling.
Computer systems