Hoppa till sidans huvudinnehåll

Luigia Petre - Böcker

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

Dependability and Computer Engineering

Concepts for Software-Intensive Systems

AvLuigia Petre,Kaisa Sere m. fl.

Inbunden, Engelska, 2011

3 139 kr

Skickas inom 5-8 vardagar

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 Petre m. fl.

Häftad, Engelska, 2019

719 kr

Skickas inom 10-15 vardagar

Integrated Formal Methods

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

AvMichael Butler,Luigia Petre m. fl.

Häftad, Engelska, 2002

719 kr

Skickas inom 10-15 vardagar

Integrated Formal Methods

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

AvEinar Broch Johnsen,Luigia Petre

Häftad, Engelska, 2013

719 kr

Skickas inom 10-15 vardagar