Pavithra Prabhakar – författare

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

3 produkter

Kategorier

3 produkter

Del 11022
Del 11022 - Lecture Notes in Computer Science
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
729 kr
Skickas inom 10-15 vardagar
Del 16143
Del 16143 - Lecture Notes in Computer Science
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
959 kr
Skickas inom 5-8 vardagar
Numerical Software Verification
9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
AvSergiy Bogomolov,Matthieu Martelm. fl.
Häftad, Engelska, 2017
729 kr
Skickas inom 10-15 vardagar