Pavithra Prabhakar - Böcker

Visar alla böcker från författaren Pavithra Prabhakar.

3 produkter

Kategorier

3 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 and Formal Modeling and Analysis of Timed Systems

Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26–28, 2025, Proceedings

Av Pavithra Prabhakar, Andrea Vandin

Häftad, Engelska, 2025

1 129 kr

Skickas inom 10-15 vardagar

Numerical Software Verification

9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Av Sergiy Bogomolov, Matthieu Martel m. fl

Häftad, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar