Formal Techniques for Distributed Objects, Components, and Systems, 2014 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings Programming and Software Engineering Series
Coordonnateurs : Ábrahám Erika, Palamidessi Catuscia
Specification Languages and Type Systems.- Monitoring and Testing.- Security Analysis.- Bisimulation, Abstraction and Reduction.
Date de parution : 05-2014
Ouvrage de 301 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 52,74 €
Ajouter au panier