Formal Techniques for Distributed O - E-book

eBook

Formal Techniques For Distributed Objects, Components, And Systems - ENG

37th Ifip Wg 6.1 International Conference, Forte 2017, Held As Part Of The 12th International Federated Conference On Distributed Computing Techniques, Discotec 2017, NeuchÃ¢tel, Switzerland, June 19-22, 2017, Proceedings

Author

eBook

$1,100.00

Disponible

Información adicional
Sinopsis

ISBN:	9783319602257
Formato:	ePub
Idioma:	Inglés
Editorial:	Springer Nature
Tema:	Computadoras
Subtema:	Ingeniería y desarrollo de software general
Año de publicación:	2017-06-06

This book constitutes the proceedings of the 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2017, held in NeuchÃ¢tel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017. The 13 revised full papers presented together with 3 short and 1 tool papers were carefully reviewed and selected from 30 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods.

eBooks