Dejan Ničković - Böcker

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

3 produkter

Kategorier

3 produkter

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ć m. fl

Häftad, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar

Runtime Verification

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

Av Jyotirmoy Deshmukh, Dejan Ničković m. fl

Häftad, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2012

679 kr

Skickas inom 10-15 vardagar