Shirmohammadi, Mahsa.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Formal Modeling and Analysis of Timed Systems = 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings /
by:
Shirmohammadi, Mahsa.; SpringerLink (Online service); Dima, Catalin.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Modeling and Analysis of Timed Systems = 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings /
by:
SpringerLink (Online service); Dima, Catalin.; Shirmohammadi, Mahsa.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Computer System Implementation.
Computer Modelling.
Special Purpose and Application-Based Systems.
Computer systems.
Control Structures and Microprogramming.
Simulation and Modeling.
Software engineering.
Computers, Special purpose.
Computer science.
Theory of Computation.
Computers.
Architecture, Computer.
Microprogramming .
Computer simulation.
Special purpose computers.