Fränzle, Martin.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Formal Modeling and Analysis of Timed Systems = 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings /
by:
Fränzle, Martin.; SpringerLink (Online service); Markey, Nicolas.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Dependable Software Engineering: Theories, Tools, and Applications = Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings /
by:
Kapur, Deepak.; SpringerLink (Online service); Zhan, Naijun.; Fränzle, Martin.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Software Engineering.
Probability and Statistics in Computer Science.
Application software.
Mathematical statistics.
Computer logic.
Computer Applications.
Software engineering.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Simulation and Modeling.
Computation by Abstract Devices.
Computer simulation.
Computers.