Hoppa till sidans huvudinnehåll

Pavithra Prabhakar - Böcker

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

Formal Modeling and Analysis of Timed Systems

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

AvDavid N. Jansen,Pavithra Prabhakar

Häftad, Engelska, 2018

719 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

AvPavithra Prabhakar,Andrea Vandin

Häftad, Engelska, 2025

929 kr

Skickas inom 10-15 vardagar

Numerical Software Verification

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

AvSergiy Bogomolov,Matthieu Martel m. fl.

Häftad, Engelska, 2017

719 kr

Skickas inom 10-15 vardagar