Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Aprende a emplear métodos formales para cuantificar la eficiencia y resiliencia de sistemas adaptativos colectivos, combinando teoría matemática con simulaciones prácticas que ilustran su aplicación en entornos dinámicos.

Marca: Marco Bernardo
ISBN: 3319340956
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 9783319340951
Páginas 261