Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings: 11254
Descubre cómo los métodos formales se aplican a sistemas críticos en el 21.º Simposio Brasileño, con análisis detallados de algoritmos y modelos que garantizan la fiabilidad del software moderno.
Compartir: ![]()
![]()
![]()
![]()
![]()
![]()
eBay
El Corte Ingles
Miravia
Back Market ES
PC Componentes
| Marca | Springer |
| ASIN | 3030030431 |
| ISBN | 3030030431 |
| MPN | 34275524 |
| EAN | 9783030030438 |
| Colección | PROGRAMMING AND SOFTWARE ENGINEERING |
| Edición | Octubre de 2018 |
| Editorial | SPRINGER NATURE |
| Idiomas | INGLES |
| ISBN | 9783030030438 |
| Páginas | 271 |
