Emil Sekerinski – författare

Visar alla böcker från författaren Emil Sekerinski.

8 produkter

Kategorier

8 produkter

From Action Systems to Distributed Systems
The Refinement Approach
AvLuigia Petre,Emil Sekerinski
Häftad, Engelska, 2020
959 kr
Skickas inom 10-15 vardagar
From Action Systems to Distributed Systems
The Refinement Approach
AvLuigia Petre,Emil Sekerinski
Inbunden, Engelska, 2016
3 539 kr
Skickas inom 5-8 vardagar
Program Development by Refinement
Case Studies Using the B Method
AvKaisa Sere,Emil Sekerinskim. fl.
Häftad, Engelska, 1998
2 919 kr
Skickas inom 10-15 vardagar
Del 12232
Del 12232 - Lecture Notes in Computer Science
Formal Methods. FM 2019 International Workshops
Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I
AvEmil Sekerinski,Nelma Moreiram. fl.
Häftad, Engelska, 2020
739 kr
Skickas inom 10-15 vardagar
Del 12233
Del 12233 - Lecture Notes in Computer Science
Formal Methods. FM 2019 International Workshops
Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
AvEmil Sekerinski,Nelma Moreiram. fl.
Häftad, Engelska, 2020
739 kr
Skickas inom 10-15 vardagar
Del 14939
Del 14939 - Lecture Notes in Computer Science
Formal Methods Teaching
6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings
AvEmil Sekerinski,Leila Ribeiro
Häftad, Engelska, 2024
549 kr
Skickas inom 10-15 vardagar
Del 8739
Del 8739 - Lecture Notes in Computer Science
Integrated Formal Methods
11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
AvElvira Albert,Emil Sekerinski
Häftad, Engelska, 2014
739 kr
Skickas inom 10-15 vardagar
FM 2006: Formal Methods
14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
AvJayadev Misra,Tobias Nipkowm. fl.
Häftad, Engelska, 2006
1 459 kr
Skickas inom 10-15 vardagar