Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

This book constitutes the proceedings of the 36th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2016, held in Heraklion, Crete, Greece, in June 2016, as part of the 11th International Federated Conference on Distributed Computing Te...

Full description

Bibliographic Details

Other Authors:	Albert, Elvira (Editor), Lanese, Ivan (Editor)
Format:	eBook
Language:	English
Published:	Cham Springer International Publishing 2016, 2016
Edition:	1st ed. 2016
Series:	Programming and Software Engineering
Subjects:	Computer Communication Networks Computer Science Logic And Foundations Of Programming Software Engineering Computer Science Formal Languages And Automata Theory Application Software Computer Networks  Machine Theory Computer And Information Systems Applications Theory Of Computation
Online Access:	https://doi.org/10.1007/978-3-319-39570-8?nosfx=y
Collection:	Springer eBooks 2005- - Collection details see MPG.ReNa