António Ravara

ספרים שבהם António Ravara מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Behavioural TypesSimon Gay

Behavioural Types

Simon Gay · 2017

Formal Techniques for Distributed Objects, Components, and SystemsMarieke Huisman

Formal Techniques for Distributed Objects, Components, and Systems

Marieke Huisman · 2023

Web Services, Formal Methods, and Behavioral TypesThomas Hildebrandt

Web Services, Formal Methods, and Behavioral Types

Thomas Hildebrandt · 2016