António Ravara - Böcker
Visar alla böcker från författaren António Ravara.
5 produkter
5 produkter
Del 13910 - Lecture Notes in Computer Science
Formal Techniques for Distributed Objects, Components, and Systems
Häftad, Engelska, 2023
1 029 kr
Skickas inom 7-10 vardagar
Del 15731 - Lecture Notes in Computer Science
Coordination Models and Languages
Häftad, Engelska, 2025
1 129 kr
Skickas inom 5-8 vardagar
Web Services, Formal Methods, and Behavioral Types
Av Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich, Antonio Ravara
Häftad, Engelska, 2016
619 kr
Skickas inom 7-10 vardagar
Behavioural Types
Av Simon Gay, Antonio Ravara, UK) Gay, Simon (University of Glasgow, Portugal) Ravara, Antonio (Universidade Nova de Lisboa, António Ravara
Häftad, Engelska, 2024
769 kr
Skickas inom 7-10 vardagar
Behavioural Types: from Theory to Tools
Av Simon Gay, Antonio Ravara, UK) Gay, Simon (University of Glasgow, Portugal) Ravara, Antonio (Universidade Nova de Lisboa, António Ravara
Inbunden, Engelska, 2017
1 519 kr
Skickas inom 7-10 vardagar