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

4 results found
List viewGrid view
Sort By:
1.
Formal Techniques for Distributed Objects, Components, and Systems37 %
No Review Yet
₹6,720
₹4,234
Binding:
Paperback
Release:
23 Jul 2023
Language:
English
Available
Ships within 12-14 Days Explain..
2.
Web Services, Formal Methods, and Behavioral Types37 %
Publisher: Springer
No Review Yet
₹4,032
₹2,540
Binding:
Paperback
Release:
20 Apr 2016
Language:
English
Available
Ships within 12-14 Days Explain..
3.
Behavioural Types3 % NR
Publisher: River Publishers
No Review Yet
₹4,111
₹3,988
Binding:
Paperback
Release:
21 Oct 2024
Language:
English
International Edition
Ships within 14-16 Days Explain..
Free Shipping in India and low cost Worldwide.
No more records found