José Proença – författare

Visar alla böcker från författaren José Proença.

5 produkter

1. 

   Formal Aspects of Component Software

   18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings

   Av Silvia Lizeth Tapia Tarifa, José Proença

   Häftad, 2022

   959 kr

   Lägg i varukorg

2. 

   Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

   ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers

   Av José Proença, Raul Fervari m. fl.

   Häftad, 2025

   1439 kr

   Lägg i varukorg

3. 

   Software Engineering and Formal Methods. SEFM 2025 Collocated Workshops

   ReacTS 2025 and CIFMA 2025, Toledo, Spain, November 11, 2025, Revised Selected Papers

   Av Francesco Bianchini, Arianna Pavone m. fl.

   Häftad, 2027

   1559 kr

   Kommande

4. 

   Coordination Models and Languages

   18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

   Av Alberto Lluch Lafuente, José Proença

   Häftad, 2016

   739 kr

   Lägg i varukorg

5. 

   Formal Aspects of Component Software

   14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

   Av José Proença, Markus Lumpe

   Häftad, 2017

   739 kr

   Lägg i varukorg