1. Comparor
  2. Multimedia
  3. Libros
  4. Formal Methods for Discrete-Time Dynamical Systems
  • #
  • #

Formal Methods for Discrete-Time Dynamical Systems

Explora técnicas formales para analizar y diseñar sistemas discretos, presentando fundamentos teóricos y casos prácticos que demuestran su aplicación en la ingeniería de control.

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 Calin Belta
MPN 27993798
ASIN 3319507621
ISBN 3319507621
EAN 9783319507620
Colección STUDIES IN SYSTEMS, DECISION AND CONTROL
Edición Marzo de 2017
Editorial SPRINGER NATURE
Idiomas INGLES
ISBN 9783319507620
Páginas 267

Productos Relacionados

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

51.99 EUR
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 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