Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings: 9526
Descubre en este compendio las contribuciones clave del SBMF 2015 sobre verificación formal, modelado matemático y pruebas de sistemas críticos, ideal para académicos y desarrolladores que buscan asegurar la fiabilidad de software complejo.
Compartir: ![]()
![]()
![]()
![]()
![]()
![]()
eBay
El Corte Ingles
Miravia
Back Market ES
PC Componentes
| Marca | Márcio Cornélio |
| ASIN | 3319294725 |
| MPN | 62 colour illustrations, biography |
| EAN | 9783319294728 |
| ISBN | 9783319294728 |
| Colección | PROGRAMMING AND SOFTWARE ENGINEERING |
| Edición | 1ª Febrero de 2016 |
| Editorial | SPRINGER NATURE |
| Idiomas | INGLES |
| ISBN | 9783319294728 |
| Páginas | 195 |
