Luigia Petre – författare
Visar alla böcker från författaren Luigia Petre. Handla med fri frakt och snabb leverans.
11 produkter
From Action Systems to Distributed Systems
The Refinement Approach
Av Luigia Petre, Emil Sekerinski
Häftad, 2020
757 kr
Lägg i varukorg
Formal methods traditionally address the question of transforming software engineering into a mature engineering discipline. This essentially refers to trusting that the software-intensive systems that form our society’s infrastructures are behaving according to their specifications. More recently, …
From Action Systems to Distributed Systems
The Refinement Approach
Av Emil Sekerinski, Luigia Petre
E-bok, 2016
892 kr
Lägg i varukorg
Formal methods traditionally address the question of transforming software engineering into a mature engineering discipline. This essentially refers to trusting that the software-intensive systems that form our society''s infrastructures are behaving according to their specifications. More …
From Action Systems to Distributed Systems
The Refinement Approach
Av Luigia Petre, Emil Sekerinski
Inbunden, 2016
2788 kr
Lägg i varukorg
Formal methods traditionally address the question of transforming software engineering into a mature engineering discipline. This essentially refers to trusting that the software-intensive systems that form our society’s infrastructures are behaving according to their specifications. More recently, …
From Action Systems to Distributed Systems
The Refinement Approach
Av Emil Sekerinski, Luigia Petre
E-bok, 2016
892 kr
Lägg i varukorg
Formal methods traditionally address the question of transforming software engineering into a mature engineering discipline. This essentially refers to trusting that the software-intensive systems that form our society''s infrastructures are behaving according to their specifications. More …
Dependability and Computer Engineering
Concepts for Software-Intensive Systems
Av Luigia Petre, Kaisa Sere m. fl.
Inbunden, 2011
1797 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
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019.The 14 full papers presented together with 3 abstract papers were carefully reviewed and …
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 Graeme Smith, Luigia Petre m. fl.
E-bok, 2019
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019. The 14 full papers presented together with 3 abstract papers were carefully reviewed and …
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
567 kr
Lägg i varukorg
The third in a series of international conferences on Integrated Formal Methods, IFM 2002, was held in Turku, Finland, May 15–17, 2002. Turku, situated in the south western corner of the country, is the former capital of Finland. The ? conference was organized jointly by Abo Akademi University and …
Integrated Formal Methods
Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.
Av Kaisa Sere, Luigia Petre m. fl.
E-bok, 2003
755 kr
Lägg i varukorg
The third in a series of international conferences on Integrated Formal Methods, IFM 2002, was held in Turku, Finland, May 15–17, 2002. Turku, situated in the south western corner of the country, is the former capital of Finland. The ? conference was organized jointly by Abo Akademi University and …
Integrated Formal Methods
10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings
Av Einar Broch Johnsen, Luigia Petre
Häftad, 2013
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. …
Integrated Formal Methods
10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings
Av Luigia Petre, Einar Broch Johnsen
E-bok, 2013
732 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. …
