Pavithra Prabhakar - Böcker

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

Formal Modeling and Analysis of Timed Systems

Av David N. Jansen, Pavithra Prabhakar

Häftad, Engelska, 2018

739 kr

Skickas inom 10-15 vardagar
  • Nyhet
Pavithra Prabhakar, Andrea Vandin - Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, Häftad

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems

Av Pavithra Prabhakar, Andrea Vandin

Häftad, Engelska, 2025

1 129 kr

Skickas inom 10-15 vardagar
Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar - Numerical Software Verification, Häftad

Numerical Software Verification

Av Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar

Häftad, Engelska, 2017

739 kr

Skickas inom 10-15 vardagar