語系
Katoen, Joost-Pieter.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Principles of model checking
by:
Baier, Christel.; Katoen, Joost-Pieter.; NetLibrary, Inc.
(書目-電子資源)
CONCUR 2011 = concurrency theory : 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 : proceedings /
by:
Konig, Barbara.; SpringerLink (Online service); Katoen, Joost-Pieter.; Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
主題
Software Engineering.
Artificial Intelligence (incl. Robotics)
Computer systems- Verification.
Computer multitasking
Computer Science.
Computer Communication Networks.
Programming Languages, Compilers, Interpreters.
Parallel processing (Electronic computers)
Computer software- Verification.
Information Systems Applications (incl.Internet)
Logics and Meanings of Programs.