3 results
Type of media (2)
Year
Persons
Publishers
Sort by
Results per page
Filter
3 results

Your search for Susmit Jha

  1. Cover: NASA Formal Methods - Springer
    Ritchie Lee | Susmit Jha | Anastasia Mavridou
    NASA Formal Methods
    12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings
    08/2020
    Springer
    9783030557546 (ISBN)
    E-Book
    PDF
    Other editions
    €78.10
    Available for download
  2. Cover: NASA Formal Methods - Springer
    Ritchie Lee | Susmit Jha | Anastasia Mavridou
    NASA Formal Methods
    12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings
    08/2020
    Springer
    9783030557539 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €79.17
    Shipment within 7-9 days
  3. This image is currently not available.
    Susmit Jha
    Towards Automated System Synthesis Using Sciduction
    01/2012
    LAP Lambert Academic Publishing
    9783838310688 (ISBN)
    Book
    Paperback/Softback
    €93.59
    Shipment within 5-7 days