Hoppa till sidans huvudinnehåll

Emil Sekerinski - Böcker

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, Engelska, 2020

839 kr

Skickas inom 10-15 vardagar

From Action Systems to Distributed Systems

The Refinement Approach

Av Luigia Petre, Emil Sekerinski

Inbunden, Engelska, 2016

2 999 kr

Skickas inom 7-10 vardagar

Program Development by Refinement

Case Studies Using the B Method

Av Kaisa Sere, Emil Sekerinski m. fl

Häftad, Engelska, 1998

2 889 kr

Skickas inom 10-15 vardagar

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, Engelska, 2020

739 kr

Skickas inom 10-15 vardagar

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, Engelska, 2020

739 kr

Skickas inom 10-15 vardagar
Del 14939 - Lecture Notes in Computer Science

Formal Methods Teaching

6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

Av Emil Sekerinski, Leila Ribeiro

Häftad, Engelska, 2024

559 kr

Skickas inom 10-15 vardagar

Integrated Formal Methods

11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

Av Elvira 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

Av Jayadev Misra, Tobias Nipkow m. fl

Häftad, Engelska, 2006

1 459 kr

Skickas inom 10-15 vardagar