3 Ebooks por Anna Philippou
John Fitzgerald & Stefania Gnesi: FM 2016: Formal Methods
This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers …
PDF
Inglês
DRM
€57.57
Stefan Kowalewski & Anna Philippou: Tools and Algorithms for the Construction and Analysis of Systems
This book constitutes the refereed proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2009, held in York, UK, in March 2009, …
PDF
Inglês
DRM
€57.78
Mohammad Reza Mousavi & Anna Philippou: Formal Techniques for Distributed Objects, Components, and Systems
This book constitutes the refereed proceedings of the 42nd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022, held in Lucca, …
EPUB
Inglês
DRM
€76.68
