Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November ...
Descubre cómo las técnicas formales transforman el desarrollo de software: teoría rigurosa, algoritmos de verificación y ejemplos reales de la conferencia ICFEM 2018, esencial para expertos en ingeniería formal.
Compartir: ![]()
![]()
![]()
![]()
![]()
![]()
eBay
El Corte Ingles
Miravia
Back Market ES
PC Componentes
| Marca | Jing Sun |
| ASIN | 3030024490 |
| ISBN | 3030024490 |
| MPN | 34262791 |
| EAN | 9783030024499 |
| Colección | PROGRAMMING AND SOFTWARE ENGINEERING |
| Edición | Octubre de 2018 |
| Editorial | SPRINGER NATURE |
| Idiomas | INGLES |
| ISBN | 9783030024499 |
| Páginas | 474 |
