jyotirmoy deshmukh

Grid   List

  1. Runtime Verification
    Runtime Verification
    Jyotirmoy Deshmukh
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020. The conference was held virtuall...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. NASA Formal Methods
    NASA Formal Methods
    Jyotirmoy V. Deshmukh
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods, NFM 2022, held in Pasadena, USA, during May 24-27, 2022.
    128,39 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Runtime Verification
    Runtime Verification
    Dejan Ni¿kovi¿
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020. The conference was held virtu...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  4. NASA Formal Methods
    NASA Formal Methods
    Jyotirmoy V. Deshmukh
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods, NFM 2022, held in Pasadena, USA, during May 24-27, 2022. The 33 full and 6 short papers p...
    139,09 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>