Reading Length
Home
Speed Tests
Login
Rajeev Joshi
Identifiers
Open Library
OL7338339A
Top Subjects
Programming Languages, Compilers, Interpreters (1)
Logics and Meanings of Programs (1)
Computer science (1)
Artificial intelligence (1)
Programming Techniques (1)
Artificial Intelligence (incl. Robotics) (1)
Mathematical Logic and Formal Languages (1)
Books by Rajeev Joshi
Total count: 3
NASA Formal Methods
Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings
Springer
2011-01-01
Verified Software: Theories, Tools, Experiments
4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
Springer Berlin Heidelberg
2012-01-01
4 Angels
A Journey of 4 Girls Who Went from Being Absolute Strangers to Becoming a Family
Independently Published
2019-01-01
