Elvinia Riccobene
Elvinia Riccobene
ספרים
ספרים משותפים ואוספים
ספרים שבהם Elvinia Riccobene מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
Rigorous State-Based MethodsSilvia Bonfanti
Rigorous State-Based Methods
Silvia Bonfanti · 2024
Logic, Computation and Rigorous MethodsAlexander Raschke
Logic, Computation and Rigorous Methods
Alexander Raschke · 2021
Abstract State Machines 2003 : Advances in Theory and PracticeEgon Börger
Abstract State Machines 2003 : Advances in Theory and Practice
Egon Börger · 2003