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

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

Dependability and Computer Engineering

Concepts for Software-Intensive Systems

Av Luigia Petre, Kaisa Sere m. fl

Inbunden, Engelska, 2011

3 199 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

Av Brijesh Dongol, Luigia Petre m. fl

Häftad, Engelska, 2019

739 kr

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

Integrated Formal Methods

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

Av Michael Butler, Luigia Petre m. fl

Häftad, Engelska, 2002

739 kr

Skickas inom 10-15 vardagar

Integrated Formal Methods

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

Av Einar Broch Johnsen, Luigia Petre

Häftad, Engelska, 2013

739 kr

Skickas inom 10-15 vardagar