Home > Authors > António Ravara

António Ravara

All books by António Ravara

(Displaying 3 Books)

Behavioural Types

Behavioural Types

Simon Gay

Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems

Marieke Huisman

Web Services, Formal Methods, and Behavioral Types

Web Services, Formal Methods, and Behavioral Types

Thomas Hildebrandt

Looking for another book by António Ravara? Search for the book by title.