Languages
Rayadurgam, Sanjai.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
NASA formal methods = 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016 : proceedings /
by:
Tkachuk, Oksana.; SpringerLink (Online service); Rayadurgam, Sanjai.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
NASA Formal Methods = 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings /
by:
SpringerLink (Online service); Tkachuk, Oksana.; Rayadurgam, Sanjai.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Software Engineering.
Mathematical logic.
Formal methods (Computer science)
Computer logic.
Operating Systems.
Software engineering.
Operating systems (Computers).
Computer Science.
Programming Techniques.
Computer programming.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.