Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
Descubre cómo los investigadores aplican modelos formales a sistemas con restricciones de tiempo, presentando algoritmos avanzados y estudios de caso que demuestran la precisión y robustez en entornos críticos.
Compartir: ![]()
![]()
![]()
![]()
![]()
![]()
eBay
El Corte Ingles
Miravia
Back Market ES
PC Componentes
| Marca | Springer |
| ASIN | 3319229745 |
| ISBN | 3319229745 |
| MPN | 90 black & white illustrations, biograph |
| EAN | 9783319229744 |
| Colección | THEORETICAL COMPUTER SCIENCE AND GENERAL ISSUES |
| Edición | 1ª Agosto de 2015 |
| Editorial | SPRINGER NATURE |
| Idiomas | INGLES |
| ISBN | 9783319229744 |
| Páginas | 321 |
