Nickovic dejan editor (3 risultati)

Autore:

Perfeziona con la Ricerca avanzata

Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings (Lecture . Computer Science and General Issues)
Jurdzinski, Marcin (Editor) / Nickovic, Dejan (Editor)
Lingua: Inglese
Editore: Springer, 2012
3642333648 / 9783642333644
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 75,31
EUR 11,99 spedizione
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Paperback. Condizione: Brand New. 2012 edition. 277 pages. 9.25x6.25x0.65 inches. In Stock.
Formal Methods for Industrial Critical Systems: 25th International Conference, Fmics 2020, Vienna, Austria, September 23, 2020, Proceedings
Beek, Maurice H. Ter (Editor)/ Nickovic, Dejan (Editor)
Lingua: Inglese
Editore: Springer-Nature New York Inc, 2020
3030582973 / 9783030582975
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 82,97
EUR 11,99 spedizione
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Paperback. Condizione: Brand New. 312 pages. 9.25x6.10x0.71 inches. In Stock.
Runtime Verification: 20th International Conference, Rv 2020, Los Angeles, Ca, USA, October 69, 2020, Proceedings
Deshmukh, Jyotirmoy (Editor)/ Nickovic, Dejan (Editor)
Lingua: Inglese
Editore: Springer-Nature New York Inc, 2020
3030605078 / 9783030605070
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 86,97
EUR 14,99 spedizione
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Paperback. Condizione: Brand New. 400 pages. 9.25x6.10x1.14 inches. In Stock.

Nickovic dejan editor (3 risultati)

Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings (Lecture . Computer Science and General Issues)

Formal Methods for Industrial Critical Systems: 25th International Conference, Fmics 2020, Vienna, Austria, September 23, 2020, Proceedings

Runtime Verification: 20th International Conference, Rv 2020, Los Angeles, Ca, USA, October 69, 2020, Proceedings