Formal Techniques for Distributed Objects, Components, and Systems: 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th ... and Software Engineering, Band 11535) - Softcover

 
9783030217587: Formal Techniques for Distributed Objects, Components, and Systems: 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th ... and Software Engineering, Band 11535)
Softcover
ISBN 10: 3030217582 ISBN 13: 9783030217587
Verlag: Springer, 2019

Inhaltsangabe

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

The 15 full and 3 short papers presented were carefully reviewed and selected from 42 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2019
Sprache
Englisch
ISBN 10 
3030217582
ISBN 13 
9783030217587
Einband
Taschenbuch
Auflage
1
Anzahl der Seiten
316
Herausgeber
Pérez Jorge A., Yoshida Nobuko
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland