Luigia Petre – författare
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, 2020
979 kr
Lägg i varukorg
From Action Systems to Distributed Systems
The Refinement Approach
Av Luigia Petre, Emil Sekerinski
Inbunden, 2016
3609 kr
Lägg i varukorg
Dependability and Computer Engineering
Concepts for Software-Intensive Systems
Av Luigia Petre, Kaisa Sere m. fl.
Inbunden, 2011
2339 kr
Lägg i varukorg
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, 2019
729 kr
Lägg i varukorg
Integrated Formal Methods
Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.
Av Michael Butler, Luigia Petre m. fl.
Häftad, 2002
729 kr
Lägg i varukorg
Integrated Formal Methods
10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings
Av Einar Broch Johnsen, Luigia Petre
Häftad, 2013
729 kr
Lägg i varukorg