Search

Author/Creator Caires, Luís

1. 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 Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, proceedings /: 38th IFIP WG 6.1 International Conference, FORTE 2018, held as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, proceedings. (2018)

Editors:
Baier, Christel; Caires, Luís
Other Names:
FORTE (Conference), 38th; International Federated Conferences on Distributed Computing Techniques, 13th, jointly held conference
Record Type:
Book
Extent:
1 online resource (xi, 197 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

2. 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, Czech Republic, April 6-11, 2019, Proceedings /: 28th European Symposium on Programming, ESOP 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings. (2019)

Editors:
Caires, Luís
Other Names:
European Symposium on Programming, 28th; ETAPS (Conference), 22nd
Record Type:
Book
Extent:
1 online resource (xv, 816 pages), illustrations (some color)
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

Limit your search