António Ravara

António RavaraAntonio Ravara received his Ph.D. from the Technical University of Lisbon and is now Assistant Professor of Informatics at the NOVA University of Lisbon. He is a founding member of the NOVA Laboratory for Computer Science and Informatics (NOVA LINCS) which is a leading Portuguese research unit in the area of Computer Science and Engineering. From 2012 to 2016 he was Vice-Chair of COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems. Read More Read Less

3 results found
List viewGrid view
Sort By:
1.
Coordination Models and Languages37 %
No Review Yet
₹7,006
₹4,414
Binding:
Paperback
Release:
18 Jun 2025
Language:
English
Available
Ships within 12-14 Days Explain..
2.
Formal Techniques for Distributed Objects, Components, and Systems37 %
No Review Yet
₹7,431
₹4,682
Binding:
Paperback
Release:
10 Jun 2023
Language:
English
Available
Ships within 12-14 Days Explain..
3.
Web Services, Formal Methods, and Behavioral Types36 %
Available
Ships within 12-14 Days Explain..
No more records found
ASK VIDYA