André, Étienne.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Formal Modeling and Analysis of Timed Systems = 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings /
by:
Stoelinga, Mariëlle.; SpringerLink (Online service); André, Étienne.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Software Engineering.
Computer logic.
Algorithm Analysis and Problem Complexity.
Special Purpose and Application-Based Systems.
Algorithms.
Software engineering.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Simulation and Modeling.
Computer simulation.
Special purpose computers.