Angelo Gargantini
Angelo Gargantini
ספרים
ספרים משותפים ואוספים
ספרים שבהם Angelo Gargantini מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
Rigorous State-Based MethodsSilvia Bonfanti
Rigorous State-Based Methods
Silvia Bonfanti · 2024
Testing Software and SystemsSilvia Bonfanti
Testing Software and Systems
Silvia Bonfanti · 2023
Tests and ProofsGordon Fraser
Tests and Proofs
Gordon Fraser · 2010
Abstract State Machines 2003 : Advances in Theory and PracticeEgon Börger
Abstract State Machines 2003 : Advances in Theory and Practice
Egon Börger · 2003