Emil Sekerinski – författare
Visar alla böcker från författaren Emil Sekerinski.
8 produkter
From Action Systems to Distributed Systems
The Refinement Approach
Av Luigia Petre, Emil Sekerinski
Häftad, 2020
979 kr
Lägg i varukorg
From Action Systems to Distributed Systems
The Refinement Approach
Av Luigia Petre, Emil Sekerinski
Inbunden, 2016
3609 kr
Lägg i varukorg
Program Development by Refinement
Case Studies Using the B Method
Av Kaisa Sere, Emil Sekerinski m. fl.
Häftad, 1998
2889 kr
Lägg i varukorg
Formal Methods. FM 2019 International Workshops
Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I
Av Emil Sekerinski, Nelma Moreira m. fl.
Häftad, 2020
729 kr
Lägg i varukorg
Formal Methods. FM 2019 International Workshops
Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
Av Emil Sekerinski, Nelma Moreira m. fl.
Häftad, 2020
729 kr
Lägg i varukorg
Formal Methods Teaching
6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings
Av Emil Sekerinski, Leila Ribeiro
Häftad, 2024
539 kr
Lägg i varukorg
Integrated Formal Methods
11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
Av Elvira Albert, Emil Sekerinski
Häftad, 2014
729 kr
Lägg i varukorg
FM 2006: Formal Methods
14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
Av Jayadev Misra, Tobias Nipkow m. fl.
Häftad, 2006
1449 kr
Lägg i varukorg