語系
Ouaknine, Joel.
概要
作品: | 1 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Reachability problems8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014 : proceedings /
by:
(1998 :); Ouaknine, Joel.; Potapov, Igor.; SpringerLink (Online service); Worrell, James.
(書目-語言資料,印刷品)
Formal modeling and analysis of timed systems7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings /
by:
(1998 :); Ouaknine, Joel.; SpringerLink (Online service); Vaandrager, Frits W.
(書目-電子資源)
主題
Software Engineering.
Theory of Computation.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer systems
Computation by Abstract Devices.
Formal methods (Computer science)
Robots
Programming Languages, Compilers, Interpreters.
Computer simulation
Models and Principles.
Coding and Information Theory.
Computer science
Computer Science.
Decidability (Mathematical logic)
Symbolic and Algebraic Manipulation.
Temporal automata