Bokus

António Ravara

Visar alla böcker från författaren António Ravara. Handla med fri frakt och snabb leverans.

  1. Formal Techniques for Distributed Objects, Components, and Systems

    Formal Techniques for Distributed Objects, Components, and Systems

    2023

  2. Coordination Models and Languages

    Coordination Models and Languages

    2025

  3. Formal Techniques for Distributed Objects, Components, and Systems : 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th I

    Formal Techniques for Distributed Objects, Components, and Systems : 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th I

    2023

  4. Web Services, Formal Methods, and Behavioral Types

    Web Services, Formal Methods, and Behavioral Types

    2016

  5. Behavioural Types

    Behavioural Types

    2024