Книги автора «Luís Caires»

На данной странице предаставлены все книги автора «Luís Caires»

Зарегистрироваться на сайте Подробнее
Какие книги написал «Luís Caires»

Книги

Formal Techniques for Distributed Objects, Components, and Systems. 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distr

Formal Techniques for Distributed Objects, Components, and Systems. 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distr (Christel Baier,Luís Caires)

Programming Languages and Systems. 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Cz

Programming Languages and Systems. 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Cz (Luís Caires)