Masaki Waga – författare

Visar alla böcker från författaren Masaki Waga.

1 produkter

1. 

   Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems

   First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9–13, 2024, Proceedings

   Av Jane Hillston, Sadegh Soudjani m. fl.

   Häftad, 2024

   1089 kr

   Lägg i varukorg