Luigia Petre – författare

Visar alla böcker från författaren Luigia Petre.

6 produkter

Kategorier

6 produkter

From Action Systems to Distributed Systems
The Refinement Approach
AvLuigia Petre,Emil Sekerinski
Häftad, Engelska, 2020
959 kr
Skickas inom 10-15 vardagar
From Action Systems to Distributed Systems
The Refinement Approach
AvLuigia Petre,Emil Sekerinski
Inbunden, Engelska, 2016
3 539 kr
Skickas inom 5-8 vardagar
Dependability and Computer Engineering
Concepts for Software-Intensive Systems
AvLuigia Petre,Kaisa Serem. fl.
Inbunden, Engelska, 2011
3 319 kr
Skickas inom 5-8 vardagar
Del 11758
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
739 kr
Skickas inom 10-15 vardagar
Integrated Formal Methods
Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.
AvMichael Butler,Luigia Petrem. 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
AvEinar Broch Johnsen,Luigia Petre
Häftad, Engelska, 2013
739 kr
Skickas inom 10-15 vardagar