语系:
簡体中文
English
日文
繁體中文
说明
登入
[NT 60476] Jump To :
概要
书目信息
主题
Temporal automata - Congresses.
概要
作品:
3 作品在 3 项出版品 3 种语言
书目信息
Formal modeling and analysis of timed systems[electronic resource] :12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 : proceedings /
by:
(书目-语言数据,印刷品)
Formal Modeling and Analysis of Timed Systems[electronic resource] :13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015 : proceedings /
by:
(书目-语言数据,印刷品)
Formal modeling and analysis of timed systems[electronic resource] :14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : proceedings /
by:
(书目-电子资源)
主题
Software Engineering.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Formal methods (Computer science)
Computer simulation
Computer Science.
Temporal automata
System analysis
Computer Applications.
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Formal methods (Computer science)
Computer simulation
Computer Science.
Temporal automata
System analysis
Computer Applications.
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Formal methods (Computer science)
Computer simulation
Computer Science.
Temporal automata
System analysis
Computer Applications.
处理中
...
变更密码
登入