Dejan Ničković – författare

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

3 produkter

Kategorier

3 produkter

Del 12327
Del 12327 - Lecture Notes in Computer Science
Formal Methods for Industrial Critical Systems
25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings
AvMaurice H. ter Beek,Dejan Ničković
Häftad, Engelska, 2020
739 kr
Skickas inom 10-15 vardagar
Del 12399
Del 12399 - Lecture Notes in Computer Science
Runtime Verification
20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings
AvJyotirmoy Deshmukh,Dejan Ničković
Häftad, Engelska, 2020
739 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
AvMarcin Jurdzinski,Dejan Nickovic
Häftad, Engelska, 2012
689 kr
Skickas inom 10-15 vardagar