Книги автора «Christel Baier»

На данной странице предаставлены все книги автора «Christel Baier»

Зарегистрироваться на сайте Подробнее
Какие книги написал «Christel Baier»

Книги

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)

Foundations of Software Science and Computation Structures. 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETA

Foundations of Software Science and Computation Structures. 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETA (Christel Baier,Ugo Dal Lago)