ENGLISH

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

By Elvira Albert , Ivan Lanese (eds.)

Book information

Publisher
Springer International Publishing
Year
2016
ISBN
978-3-319-39569-2, 978-3-319-39570-8
DOI
10.1007/978-3-319-39570-8
Language
english
Format
PDF
Filesize
9 MB (9280594 bytes)
Series
Lecture Notes in Computer Science 9688
Edition
1
Pages
XVI, 275\289
Time added
2016-07-20 04:00:00
Logics and Meanings of Programs; Software Engineer

Description

This book constitutes the proceedings of the 36th IFIP WG 6.1International Conference on Formal Techniques for Distributed Objects,Components, and Systems, FORTE 2016, held in Heraklion, Crete, Greece, in June2016, as part of the 11th International Federated Conference onDistributed Computing Techniques, DisCoTec 2016. The 18 revised full papers presented were carefully reviewed andselected from 44 submissions. The papers present a wide range of topicson distributed computing models and formal specification, testing, andverification methods.

Similar books