Bokus

José Proença

Visar alla böcker från författaren José Proença. Handla med fri frakt och snabb leverans.

  1. Formal Aspects of Component Software

    Formal Aspects of Component Software

    2022

  2. Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

    Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

    2025

  3. Coordination Models and Languages

    Coordination Models and Languages

    2016

  4. Software Engineering and Formal Methods. SEFM 2025 Collocated Workshops

    Software Engineering and Formal Methods. SEFM 2025 Collocated Workshops

    2026