Hoppa till sidans huvudinnehåll

Luigia Petre – författare

Visar alla böcker från författaren .
6 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

Luigia Petre, Kaisa Sere, Elena Troubitsyna - Dependability and Computer Engineering, Inbunden

Dependability and Computer Engineering

Concepts for Software-Intensive Systems

AvLuigia Petre,Kaisa Serem. fl.

Inbunden, Engelska, 2011

3 329 kr

Skickas inom 5-8 vardagar

Brijesh Dongol, Luigia Petre, Graeme Smith - Formal Methods Teaching, Häftad
Del 11758 - Lecture Notes in Computer Science

Formal Methods Teaching

Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

AvBrijesh Dongol,Luigia Petrem. fl.

Häftad, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

Michael Butler, Luigia Petre, Kaisa Sere - Integrated Formal Methods, Häftad

Integrated Formal Methods

Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.

AvMichael Butler,Luigia Petrem. fl.

Häftad, Engelska, 2002

729 kr

Skickas inom 10-15 vardagar

Einar Broch Johnsen, Luigia Petre - Integrated Formal Methods, Häftad

Integrated Formal Methods

10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

AvEinar Broch Johnsen,Luigia Petre

Häftad, Engelska, 2013

729 kr

Skickas inom 10-15 vardagar