David N. Jansen – författare

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

2 produkter

1. 

   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, 2018

   739 kr

   Lägg i varukorg

2. 

   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, 2020

   739 kr

   Lägg i varukorg