Languages
Badger, Julia M.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)
, [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)
(Language materials, printed)
Subjects
Software Engineering.
Formal methods (Computer science)
Computer organization.
Artificial Intelligence.
Artificial intelligence.
Simulation and Modeling.
Software engineering.
Theory of Computation.
Computers.
Programming Languages, Compilers, Interpreters.
Computer Systems Organization and Communication Networks.
Programming languages (Electronic computers).
Computer simulation.