David N. Jansen - Böcker

Visar alla böcker från författaren David N. Jansen.

2 produkter

Kategorier

2 produkter

Formal Modeling and Analysis of Timed Systems

16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

Av David N. Jansen, Pavithra Prabhakar

Häftad, Engelska, 2018

729 kr

Skickas inom 10-15 vardagar

Quantitative Evaluation of Systems

17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings

Av Marco Gribaudo, David N. Jansen m. fl

Häftad, Engelska, 2020

709 kr

Skickas inom 10-15 vardagar