9 results
Type of media (2)
Availability (2)
Classification (3)
Year
Persons
Publishers
Sort by
Results per page
Filter
9 results

Your search for José Proença

  1. Cover: Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops - Springer
    José Proença | Raul Fervari | Manuel A. Martins
    Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops
    ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers
    08/2025
    Springer
    9783031947483 (ISBN)
    E-Book
    PDF
    Other editions
    €78.10
    Available for download
  2. Cover: Formal Aspects of Component Software - Springer
    José Proença | Markus Lumpe
    Formal Aspects of Component Software
    14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
    09/2017
    Springer
    9783319680347 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Software Engineering and Formal Methods. SEFM 2025 Collocated Workshops - Springer
    Francesco Bianchini | Arianna Pavone | José Proença
    Software Engineering and Formal Methods. SEFM 2025 Collocated Workshops
    ReacTS 2025 and CIFMA 2025, Toledo, Spain, November 11, 2025, Revised Selected Papers
    approx. 07/2026
    Springer
    9783032297129 (ISBN)
    Book
    Paperback/Softback
    €104.85
    Not yet published
  4. Cover: Coordination Models and Languages - Springer
    Alberto Lluch Lafuente | José Proença
    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
    05/2016
    Springer
    9783319395197 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Formal Aspects of Component Software - Springer
    Silvia Lizeth Tapia Tarifa | José Proença
    Formal Aspects of Component Software
    18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings
    11/2022
    Springer
    9783031208720 (ISBN)
    E-Book
    PDF
    Other editions
    €69.54
    Available for download
  6. Cover: Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops - Springer
    José Proença | Raul Fervari | Manuel A. Martins
    Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops
    ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers
    08/2025
    Springer
    9783031947476 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €79.17
    Shipment within 15-20 days
  7. Cover: Formal Aspects of Component Software - Springer
    José Proença | Markus Lumpe
    Formal Aspects of Component Software
    14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
    09/2017
    Springer
    9783319680330 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  8. Cover: Coordination Models and Languages - Springer
    Alberto Lluch Lafuente | José Proença
    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
    06/2016
    Springer
    9783319395180 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  9. Cover: Formal Aspects of Component Software - Springer
    Silvia Lizeth Tapia Tarifa | José Proença
    Formal Aspects of Component Software
    18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings
    11/2022
    Springer
    9783031208713 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €69.54
    Shipment within 15-20 days