Dejan Ničković – författare

Visar alla böcker från författaren Dejan Ničković.

3 produkter

1. 

   Formal Methods for Industrial Critical Systems

   25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings

   Av Maurice H. ter Beek, Dejan Ničković

   Häftad, 2020

   729 kr

   Lägg i varukorg

2. 

   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

3. 

   Formal Modeling and Analysis of Timed Systems

   10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings

   Av Marcin Jurdzinski, Dejan Nickovic

   Häftad, 2012

   669 kr

   Lägg i varukorg