Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th ... 9688 (Programming and Software Engineering) - Softcover

Softcover

ISBN 10: 3319395696 ISBN 13: 9783319395692

Verlag: Springer, 2016

Inhaltsangabe

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 Techniques, DisCoTec 2016.

The 18 revised full papers presented were carefully reviewed and

selected from 44 submissions. The papers present a wide range of topics

on distributed computing models and formal specification, testing, and

verification methods.

Über diesen Titel

Reseña del editor

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.

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 2016
• Sprache: Englisch
• ISBN 10: 3319395696
• ISBN 13: 9783319395692
• Einband: Tapa blanda
• Auflage: 1
• Anzahl der Seiten: 292
• Herausgeber: Albert Elvira, Lanese Ivan
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Deutschland