Formal Techniques for Distributed Objects, Components, and Systems

Conoce las bases teóricas y herramientas prácticas que permiten modelar, analizar y verificar componentes distribuidos, garantizando su correcto funcionamiento en entornos heterogéneos y seguros.

Marca: Elvira Albert
ISBN: 9783319395692
Patrocinado  Este sitio contiene enlaces de afiliados por los cuales podríamos recibir una compensación. Más información
Colección PROGRAMMING AND SOFTWARE ENGINEERING
Edición 1ª Junio de 2016
Editorial SPRINGER NATURE
Idiomas INGLES
ISBN 9783319395692
Páginas 275