Nickovic dejan editor (3 resultados)

Autor:

Refinar con la Búsqueda avanzada

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)
Idioma: Inglés
Editorial: Springer 2012
3642333648 / 9783642333644
- Tapa blanda
Librería: Revaluation Books, Exeter, , Reino UnidoRevaluation Books
Vendedor de 5 estrellas
Contactar con el vendedor
Condición: Nuevo
EUR 72,36
Envío por EUR 11,53
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 2 disponibles
Paperback. Condición: 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)
Idioma: Inglés
Editorial: Springer-Nature New York Inc 2020
3030582973 / 9783030582975
- Tapa blanda
Librería: Revaluation Books, Exeter, , Reino UnidoRevaluation Books
Vendedor de 5 estrellas
Contactar con el vendedor
Condición: Nuevo
EUR 79,71
Envío por EUR 11,53
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 2 disponibles
Paperback. Condición: 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)
Idioma: Inglés
Editorial: Springer-Nature New York Inc 2020
3030605078 / 9783030605070
- Tapa blanda
Librería: Revaluation Books, Exeter, , Reino UnidoRevaluation Books
Vendedor de 5 estrellas
Contactar con el vendedor
Condición: Nuevo
EUR 83,56
Envío por EUR 14,41
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 2 disponibles
Paperback. Condición: Brand New. 400 pages. 9.25x6.10x1.14 inches. In Stock.

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