Cărți de Anna Philippou

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

Lecture Notes in Computer Science, nr. 13273

Editat de Mohammad Reza Mousavi et al.

12 iun 2022

Preț: 461^.57 lei 576^.96 lei

43-57 zile

-20%

FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9995

Editat de John Fitzgerald et al.

8 noi 2016

Preț: 350^.75 lei 438^.44 lei

43-57 zile

-20%

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

Lecture Notes in Computer Science, nr. 5505

Editat de Stefan Kowalewski et al.

9 mar 2009

Preț: 335^.90 lei 419^.86 lei

43-57 zile

-20%