Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
Descubre cómo la teoría matemática impulsa la construcción de programas en este compendio de ponencias del MPC 2015, con análisis profundos sobre lógica formal, algoritmos de optimización y técnicas de verificación que redefinen el desarrollo de software.
Compartir: ![]()
![]()
![]()
![]()
![]()
![]()
eBay
El Corte Ingles
Miravia
Back Market ES
PC Componentes
| Marca | Ralf Hinze |
| ASIN | 3319197967 |
| ISBN | 3319197967 |
| MPN | 44 black & white illustrations, biograph |
| EAN | 9783319197968 |
| Colección | PROGRAMMING AND SOFTWARE ENGINEERING |
| Edición | 1ª Junio de 2015 |
| Editorial | SPRINGER NATURE |
| Idiomas | INGLES |
| ISBN | 9783319197968 |
| Páginas | 323 |
