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 / edited by Christel Baier, Luís Caires.

This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, D...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Baier, Christel (Editor), Caires, Luís (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2018.
Edition:	1st ed. 2018.
Series:	Programming and Software Engineering ; 10854 Springer eBook Collection.
Subjects:	Software engineering. Operating systems (Computers). Programming languages (Electronic computers). Computer security. Computer communication systems. Architecture, Computer. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.