Languages
Joshi, Rajeev.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
NASA Formal Methods = 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings /
by:
Havelund, Klaus.; Joshi, Rajeev.; SpringerLink (Online service); Holzmann, Gerard.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Verified software = theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Muller, Peter.; Podelski, Andreas.; Joshi, Rajeev.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Software Engineering.
Mathematical logic.
Artificial Intelligence (incl. Robotics)
Computer logic.
Operating Systems.
Software engineering.
Operating systems (Computers).
Computer Science.
Programming Techniques.
Computer programming.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer software