Matemáticas como lenguaje formal en ingeniería informática
- Almudena Campos Jiménez
- Almudena del Pilar Márquez Lozano
- Tamara María Garrido Letrán
- Rafael de la Rosa Silva
- María del Mar Simón Márquez (comp.)
- José Jesús Gázquez Linares (comp.)
- Ana Belén Barragán Martín (comp.)
- África Martos Martínez (comp.)
Editorial: Dykinson
ISBN: 978-84-1122-865-7
Año de publicación: 2022
Páginas: 361-368
Tipo: Capítulo de Libro