Jüri Vain

Jüri Vain

ספרים

ספרים משותפים ואוספים

ספרים שבהם Jüri Vain מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

System AssurancesPrashant Johri

System Assurances

Prashant Johri · 2022

Formal Techniques for Networked and Distributed Systems - FORTE 2007John Derrick

Formal Techniques for Networked and Distributed Systems - FORTE 2007

John Derrick · 2007