Hoppa till sidans huvudinnehåll

Pavithra Prabhakar – författare

Visar alla böcker från författaren Pavithra Prabhakar.
3 produkter
David N. Jansen, Pavithra Prabhakar - Formal Modeling and Analysis of Timed Systems, Häftad
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

Pavithra Prabhakar, Andrea Vandin - Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, Häftad
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

Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar - Numerical Software Verification, Häftad

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