1. Comparor
  2. Multimedia
  3. Libros
  4. Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
  • #
  • #

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Descubre cómo aplicar métodos formales para evaluar cuantitativamente la resiliencia y eficiencia de sistemas colectivos adaptativos, combinando teoría matemática con estudios de caso reales que ilustran su aplicación práctica en entornos dinámicos.

Compartir:
Patrocinado

Ver Productos en eBay

eBay
Patrocinado

Ver Productos en El Corte Ingles

El Corte Ingles
Patrocinado

Ver Productos en Miravia

Miravia
Patrocinado

Ver Productos en Back Market ES

Back Market ES
Patrocinado

Ver Productos en PC Componentes

PC Componentes
Marca Marco Bernardo
ASIN 3319340956
ISBN 3319340956
EAN 9783319340951
Colección PROGRAMMING AND SOFTWARE ENGINEERING
Edición 1ª Junio de 2016
Editorial SPRINGER NATURE
Idiomas INGLES
ISBN 9783319340951
Páginas 261

Productos Relacionados

Formal Methods for Nonmonotonic and Related Logics Vol. I and Vol. II

Formal Methods for Nonmonotonic and Related Logics Vol. I and Vol. II

0.00
Formal Methods for Nonmonotonic and Related Logics: Vol II: Theory Revision, Inheritance, and Various Abstract Properties

Formal Methods for Nonmonotonic and Related Logics: Vol II: Theory Revision, Inheritance, and Various Abstract Properties

0.00
Formal Methods for Discrete-Time Dynamical Systems

Formal Methods for Discrete-Time Dynamical Systems

0.00
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software ... 8483

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software ... 8483

0.00
Formal methods for distributed processing

Formal methods for distributed processing

199.18 EUR
Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings: 9526

Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings: 9526

0.00 EUR
Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings: 9276

Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings: 9276

51.99 EUR

Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November ...

51.99 EUR