Languages
Katoen, Joost-Pieter.
Overview
| Works: | 5 works in 2 publications in 1 languages | |
|---|---|---|
Titles
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 :)
(Language materials, printed)
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.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Principles of model checking
by:
Baier, Christel.; NetLibrary, Inc.; Katoen, Joost-Pieter.
(Language materials, printed)
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.
(Language materials, printed)
Subjects
Software Engineering.
Mathematical logic.
Formal methods (Computer science)
Computer organization.
Algorithm Analysis and Problem Complexity.
Computer logic.
Computer Communication Networks.
Software engineering.
Computer Science.
Microprogramming .
Computer Systems Organization and Communication Networks.
Information Systems Applications (incl.Internet)
Logics and Meanings of Programs.
Computer science
Mathematical Logic and Formal Languages.
Computer simulation.
Artificial Intelligence (incl. Robotics)
Control Structures and Microprogramming.
Simulation and Modeling.
Computer systems
Computer multitasking
Programming Languages, Compilers, Interpreters.
Parallel processing (Electronic computers)
Computer software