Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

This book constitutes the proceedings of the 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019, held in Copenhagen, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniq...

Full description

Bibliographic Details

Other Authors:	Pérez, Jorge A. (Editor), Yoshida, Nobuko (Editor)
Format:	eBook
Language:	English
Published:	Cham Springer International Publishing 2019, 2019
Edition:	1st ed. 2019
Series:	Programming and Software Engineering
Subjects:	Electronic Digital Computers / Evaluation Compilers (computer Programs) Computer Science Logic And Foundations Of Programming Compilers And Interpreters Software Engineering Computer Science System Performance And Evaluation Professions The Computing Profession Computers
Online Access:	https://doi.org/10.1007/978-3-030-21759-4?nosfx=y
Collection:	Springer eBooks 2005- - Collection details see MPG.ReNa