語系
Badger, Julia M.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
NASA Formal Methods = 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings /
by:
Badger, Julia M.; Rozier, Kristin Yvonne.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
NASA formal methods = 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Rozier, Kristin Yvonne.; Badger, Julia M.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Software Engineering.
Formal methods (Computer science)
Computer organization.
Artificial Intelligence.
Artificial intelligence.
Simulation and Modeling.
Software engineering.
Computer simulation.
Theory of Computation.
Computers.
Programming Languages, Compilers, Interpreters.
Computer Systems Organization and Communication Networks.
Programming languages (Electronic computers).