Luigia Petre – författare
Visar alla böcker från författaren Luigia Petre. Handla med fri frakt och snabb leverans.
13 produkter
From Action Systems to Distributed Systems
The Refinement Approach
Av Luigia Petre, Emil Sekerinski
Häftad, 2020
753 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 Elena Troubitsyna, Kaisa Sere m. fl.
E-bok, 2011
2217 kr
Lägg i varukorg
Rapid development of digital technologies has led to the widespread use of software in all aspects of our life. The degree of reliance that can be justifiably placed on software-intensive systems is expressed by the notion of dependability. The complexity of modern software-intensive systems poses …
From Action Systems to Distributed Systems
The Refinement Approach
Av Luigia Petre, Emil Sekerinski
Inbunden, 2016
2776 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
2615 kr
Lägg i varukorg
Dependability and Computer Engineering: Concepts for Software-Intensive Systems
Av Elena Troubitsyna, Kaisa Sere m. fl.
E-bok, 2011
2233 kr
Lägg i varukorg
Rapid development of digital technologies has led to the widespread use of software in all aspects of our life. The degree of reliance that can be justifiably placed on software-intensive systems is expressed by the notion of dependability. The complexity of modern software-intensive systems poses …
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
561 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
561 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
561 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. …
