Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings: 11388
Descubre los avances más recientes en verificación formal y análisis abstracto presentados en la VMCAI 2019, donde expertos comparten resultados innovadores sobre métodos de chequeo de modelos y su aplicación en sistemas críticos.
Compartir: ![]()
![]()
![]()
![]()
![]()
![]()
eBay
El Corte Ingles
Miravia
Back Market ES
PC Componentes
| Marca | Springer |
| ASIN | 3030112446 |
| ISBN | 3030112446 |
| MPN | 35014535 |
| EAN | 9783030112448 |
| Colección | THEORETICAL COMPUTER SCIENCE AND GENERAL ISSUES |
| Edición | Enero de 2019 |
| Editorial | SPRINGER NATURE |
| Idiomas | INGLES |
| ISBN | 9783030112448 |
