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

AvLuigia Petre,Emil Sekerinski

Häftad, Engelska, 2020

879 kr

Skickas inom 10-15 vardagar

From Action Systems to Distributed Systems

The Refinement Approach

AvLuigia Petre,Emil Sekerinski

Inbunden, Engelska, 2016

3 109 kr

Skickas inom 10-15 vardagar

Program Development by Refinement

Case Studies Using the B Method

AvKaisa Sere,Emil Sekerinski m. fl.

Häftad, Engelska, 1998

2 779 kr

Skickas inom 10-15 vardagar

Formal Methods. FM 2019 International Workshops

Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I

AvEmil Sekerinski,Nelma Moreira m. fl.

Häftad, Engelska, 2020

719 kr

Skickas inom 10-15 vardagar

Formal Methods. FM 2019 International Workshops

Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II

AvEmil Sekerinski,Nelma Moreira m. fl.

Häftad, Engelska, 2020

719 kr

Skickas inom 10-15 vardagar

Formal Methods Teaching

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

AvEmil Sekerinski,Leila Ribeiro

Häftad, Engelska, 2024

529 kr

Skickas inom 10-15 vardagar

Integrated Formal Methods

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

AvElvira Albert,Emil Sekerinski

Häftad, Engelska, 2014

719 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 Nipkow m. fl.

Häftad, Engelska, 2006

1 429 kr

Skickas inom 10-15 vardagar