Pavithra Prabhakar - Böcker
Visar alla böcker från författaren Pavithra Prabhakar.
3 produkter
3 produkter
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
Häftad, Engelska, 2018
719 kr
Skickas inom 10-15 vardagar
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
Häftad, Engelska, 2025
949 kr
Skickas inom 7-10 vardagar
Numerical Software Verification
9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Häftad, Engelska, 2017
719 kr
Skickas inom 10-15 vardagar