Mavridou, Anastasia.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
NASA Formal Methods = 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings /
by:
Mavridou, Anastasia.; SpringerLink (Online service); Jha, Susmit.; Lee, Ritchie.; Giannakopoulou, Dimitra.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Methods for Industrial Critical Systems = 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings /
by:
Mavridou, Anastasia.; Lluch Lafuente, Alberto.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Methods for Industrial Critical Systems = 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings /
by:
Lluch Lafuente, Alberto.; SpringerLink (Online service); Mavridou, Anastasia.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Computer organization.
Computer engineering.
Computer networks .
Artificial intelligence.
Software engineering.
Theory of Computation.
Computer Systems Organization and Communication Networks.
Compilers and Interpreters.
Computer simulation.
Computer Engineering and Networks.
Artificial Intelligence.
Simulation and Modeling.
Computer science.
Computers.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Compilers (Computer programs).