Emil Sekerinski
Emil Sekerinski
3 ספרים במאגר
ספרים
Formal Methods TeachingEmil Sekerinski
Formal Methods Teaching
Emil Sekerinski · 2024
Formal Methods. FM 2019 International WorkshopsEmil Sekerinski
Formal Methods. FM 2019 International Workshops
Emil Sekerinski · 2020
Program Development by RefinementEmil Sekerinski
Program Development by Refinement
Emil Sekerinski · 2012
ספרים משותפים ואוספים
ספרים שבהם Emil Sekerinski מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
Integrated Formal MethodsElvira Albert
Integrated Formal Methods
Elvira Albert · 2014
FM 2006Jayadev Misra
FM 2006
Jayadev Misra · 2006
From Action Systems to Distributed SystemsLuigia Petre
From Action Systems to Distributed Systems
Luigia Petre · 2016
FM 2006 : Formal MethodsJayadev Misra
FM 2006 : Formal Methods
Jayadev Misra · 2006