Formal Techniques for Distributed Objects, Components, and Systems, 1st ed. 2016 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 Programming and Software Engineering Series
Coordonnateurs : Albert Elvira, Lanese Ivan
Includes supplementary material: sn.pub/extras
Date de parution : 06-2016
Ouvrage de 275 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 52,74 €
Ajouter au panierThème de Formal Techniques for Distributed Objects, Components... :
Mots-clés :
adaptive systems; cloud computing; object technology; service-oriented; software quality; distributed systems; formal analysis; mobile computing systems; modularity; pervasive computing; privacy; security; software availability; software reliability; software safety; testing; ubiquitous computing; validation; verification