Cantitate/Preț
Produs
Total produse
Vezi coșul
Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings de Christel Baier

Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings: Lecture Notes in Computer Science, cartea 10854

Editat de Christel Baier, Luís Caires
en Limba Engleză Paperback – 30 mai 2018
This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.
The 10 full papers presented were carefully reviewed and selected from 28 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 32827 lei

Preț vechi: 41034 lei
-20% Nou

Puncte Express: 492
Preț estimativ în valută:
6282€ • 6822$ • 5277£

Carte tipărită la comandă

Livrare economică 22 aprilie-06 mai

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783319926117
ISBN-10: 331992611X
Pagini: 188
Ilustrații: XI, 197 p. 2095 illus., 16 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.3 kg
Ediția:1st ed. 2018
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Cham, Switzerland

Cuprins

Component- and Model-Based Design.-Object Technology.- Service-Oriented Computing Systems.- Mobile Computing Systems.- Security.- Privacy.- Adaptive Distributed Systems.-  Self-Stabilization.- Self-Healing.- Verification.-  Formal Analysis.