Henzinger, Thomas A.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Embedded software = first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings /
by:
Henzinger, Thomas A.; Kirsch, Christoph M.; SpringerLink (Online service); EMSOFT 2001 ((2001 :)
(書目-語言資料,印刷品)
Formal modeling and analysis of timed systems = 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, proceedings /
by:
Chatterjee, Krishnendu.; Henzinger, Thomas A.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer simulation
Computer software- Development
Computer Science.
Temporal automata