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
Any de publicació: 2022
Pàgines: 361-368
Tipus: Capítol de llibre