It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited by Mek
October 14, 2016 | History
Edit

Rajeev Joshi

We need a photo of Rajeev Joshi

4 works Add another?

Showing all works by author. Would you like to see only ebooks?

  • Cover of: NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings

    First published in 2011 — 4 editions
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: 4 Angels: A Journey of 4 Girls Who Went from Being Absolute Strangers to Becoming a Family

    First published in 2019 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings

    First published in 2012 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Verified Software Theories Tools Experiments 4th International Conference Vstte 2012 Philadelphia Pa Usa January 2829 2012 Proceedings

    First published in 2012 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Rajeev Joshi

Subjects

Computer science, Artificial Intelligence (incl. Robotics), Artificial intelligence, Computer programs, Logic design, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Programming Techniques, Software engineering

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL7338339A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
October 14, 2016 Created by Mek Added new book.