António Ravara

Eine Liste von Autoren mit Biografien, Lebensdaten und späteren Sammlungen aller Bücher.

Bücher des Autors

3

Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems

Behavioural Types

Behavioural Types

Web Services, Formal Methods, and Behavioral Types

Web Services, Formal Methods, and Behavioral Types