語系
Rozier, Kristin Yvonne.
概要
| 作品: | 0 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
NASA formal methods = 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023 : proceedings /
by:
NFM (Symposium) (2023 :); Rozier, Kristin Yvonne.; Chaudhuri, Swarat.; SpringerLink (Online service)
(書目-電子資源)
NASA formal methods = 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019 : proceedings /
by:
NFM (Symposium) (2019 :); Badger, Julia M.; Rozier, Kristin Yvonne.; SpringerLink (Online service)
(書目-電子資源)
NASA formal methods = 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014 : proceedings /
by:
Badger, Julia M.; Rozier, Kristin Yvonne.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Theory of Computation.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Operating Systems.
Programming Techniques.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer Engineering and Networks.
Computer Modelling.
Artificial Intelligence.
Computer Science.
Simulation and Modeling.
Computer Systems Organization and Communication Networks.