Anna Philippou – författare
Visar alla böcker från författaren Anna Philippou. Handla med fri frakt och snabb leverans.
6 produkter
Formal Techniques for Distributed Objects, Components, and Systems
42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings
Av Mohammad Reza Mousavi, Anna Philippou
Häftad, 2022
791 kr
Lägg i varukorg
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, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing …
Formal Techniques for Distributed Objects, Components, and Systems
42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings
Av Anna Philippou, Mohammad Reza Mousavi
E-bok, 2022
1007 kr
Lägg i varukorg
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, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing …
FM 2016: Formal Methods
21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
Av John Fitzgerald, Constance Heitmeyer m. fl.
Häftad, 2016
567 kr
Lägg i varukorg
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 presented together with one abstract of an invited talk and one invited presentation were carefully …
FM 2016: Formal Methods
21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
Av Anna Philippou, Stefania Gnesi m. fl.
E-bok, 2016
739 kr
Lägg i varukorg
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 presented together with one abstract of an invited talk and one invited presentation were carefully …
Tools and Algorithms for the Construction and Analysis of Systems
15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
Av Stefan Kowalewski, Anna Philippou
Häftad, 2009
567 kr
Lägg i varukorg
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, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 27 …
Tools and Algorithms for the Construction and Analysis of Systems
15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
Av Anna Philippou, Stefan Kowalewski
E-bok, 2009
739 kr
Lägg i varukorg
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, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 27 …
