Jyotirmoy Deshmukh – författare

Visar alla böcker från författaren Jyotirmoy Deshmukh. Handla med fri frakt och snabb leverans.

4 produkter

1. 

   Runtime Verification

   20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings

   Av Jyotirmoy Deshmukh, Dejan Ničković

   Häftad, 2020

   569 kr

   Lägg i varukorg

   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 virtually due to the COVID-19 pandemic.The 14 regular papers and 2 short papers presented in this book were …

2. 

   Runtime Verification

   20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings

   Av Dejan Nickovic, Jyotirmoy Deshmukh

   E-bok, 2020

   739 kr

   Lägg i varukorg

   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 virtually due to the COVID-19 pandemic. The 14 regular papers and 2 short papers presented in this book were …

3. 

   NASA Formal Methods

   18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5–7, 2026, Proceedings

   Av Jyotirmoy Deshmukh, Klaus Havelund m. fl.

   Häftad, 2026

   839 kr

   Lägg i varukorg

   This book constitutes the proceedings of the 18th International Symposium on NASA Formal Methods, NFM 2026, held in Los Angeles, CA, USA in May 2026.The 23 regular papers and 2 short papers presented in the proceedings were carefully reviewed and selected from 60 submissions. They focus on …

4. 

   NASA Formal Methods

   18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5-7, 2026, Proceedings

   Av Alessandro Pinto, Klaus Havelund m. fl.

   E-bok, 2026

   1091 kr

   Lägg i varukorg

   This book constitutes the proceedings of the 18th International Symposium on NASA Formal Methods, NFM 2026, held in Los Angeles, CA, USA in May 2026.The 23 regular papers and 2 short papers presented in the proceedings were carefully reviewed and selected from 60 submissions. They focus on …