Jyotirmoy Deshmukh – författare

Visar alla böcker från författaren Jyotirmoy Deshmukh.

2 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

   729 kr

   Lägg i varukorg

2. 

   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

   1069 kr

   Lägg i varukorg