Hoppa till sidans huvudinnehåll

Emil Sekerinski – författare

Visar alla böcker från författaren .
8 produkter
Luigia Petre, Emil Sekerinski - From Action Systems to Distributed Systems, Häftad

From Action Systems to Distributed Systems

The Refinement Approach

AvLuigia Petre,Emil Sekerinski

Häftad, Engelska, 2020

949 kr

Skickas inom 10-15 vardagar

Luigia Petre, Emil Sekerinski - From Action Systems to Distributed Systems, Inbunden

From Action Systems to Distributed Systems

The Refinement Approach

AvLuigia Petre,Emil Sekerinski

Inbunden, Engelska, 2016

3 559 kr

Skickas inom 5-8 vardagar

Kaisa Sere, Emil Sekerinski, Emil Sekerinski, Kaisa Sere - Program Development by Refinement, Häftad

Program Development by Refinement

Case Studies Using the B Method

AvKaisa Sere,Emil Sekerinskim. fl.

Häftad, Engelska, 1998

2 889 kr

Skickas inom 10-15 vardagar

Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas - Formal Methods. FM 2019 International Workshops, Häftad
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

729 kr

Skickas inom 10-15 vardagar

Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas - Formal Methods. FM 2019 International Workshops, Häftad
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

729 kr

Skickas inom 10-15 vardagar

Emil Sekerinski, Leila Ribeiro - Formal Methods Teaching, Häftad
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

539 kr

Skickas inom 10-15 vardagar

Elvira Albert, Emil Sekerinski - Integrated Formal Methods, Häftad
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

729 kr

Skickas inom 10-15 vardagar

Jayadev Misra, Tobias Nipkow, Emil Sekerinski - FM 2006: Formal Methods, Häftad

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 449 kr

Skickas inom 10-15 vardagar