Livros de Luigia Petre - BookPine

Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, ... Computer Science and General Issues)

Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, ... Computer Science and General Issues)

Brijesh Dongol

Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, ... Notes in Computer Science Book 11758)

Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, ... Notes in Computer Science Book 11758)

Brijesh Dongol

From Action Systems to Distributed Systems: The Refinement Approach

From Action Systems to Distributed Systems: The Refinement Approach

Luigia Petre

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

Einar Broch Johnsen

Dependability and Computer Engineering: Concepts for Software-Intensive Systems: Concepts for Software-Intensive Systems

Dependability and Computer Engineering: Concepts for Software-Intensive Systems: Concepts for Software-Intensive Systems

Luigia Petre

Dependability and Computer Engineering

Dependability and Computer Engineering

Luigia Petre

Dependability and Computer Engineering: Concepts for Software-Intensive Systems

Dependability and Computer Engineering: Concepts for Software-Intensive Systems

Luigia Petre

Integrated Formal Methods

Integrated Formal Methods

Michael Butler