Pavithra Prabhakar

ספרים שבהם Pavithra Prabhakar מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Formal Modeling and Analysis of Timed SystemsDavid N. Jansen

Formal Modeling and Analysis of Timed Systems

David N. Jansen · 2018

Numerical Software VerificationSergiy Bogomolov

Numerical Software Verification

Sergiy Bogomolov · 2017