Yazar
Pavithra Prabhakar
2 cilt bulundu.
Cilt sonuçları
Formal Modeling and Analysis of Timed Systems
David N. Jansen, Pavithra Prabhakar · Springer
299 sayfa · 2018
Computer science / Computer simulation / System analysis / Computer programming
Numerical Software Verification
Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar · Springer International Publishing AG
107 sayfa · 2017
Computer software, verification