E

Emil Sekerinski

8 books found

Books by Emil Sekerinski
From Action Systems to Distributed SystemsLuigia Petre
⏱ 5h 12m

From Action Systems to Distributed Systems

Luigia Petre

2016312 pp.
Program Development by RefinementEmil Sekerinski

Program Development by Refinement

Emil Sekerinski

1998No page data
Integrated Formal MethodsElvira Albert
⏱ 6h 42m

Integrated Formal Methods

Elvira Albert

2014402 pp.
Formal Methods TeachingEmil Sekerinski

Formal Methods Teaching

Emil Sekerinski

2024No page data
FM 2006 : Formal MethodsJayadev Misra

FM 2006 : Formal Methods

Jayadev Misra

2006No page data
FM 2006Jayadev Misra,Tobias Nipkow,Emil Sekerinski
⏱ 10h 44m

FM 2006

Jayadev Misra,Tobias Nipkow,Emil Sekerinski

2008644 pp.
FM 2006Jayadev Misra
⏱ 10h 20m

FM 2006

Jayadev Misra

2006620 pp.
Formal Methods. FM 2019 International WorkshopsEmil Sekerinski

Formal Methods. FM 2019 International Workshops

Emil Sekerinski

2020No page data