Javier Esparza

Automata Theory

٢٠٢٣

Automated Technology for Verification and Analysis

٢٠١٩

Foundations of Software Science and Computation Structures

٢٠١٧

Tools and Algorithms for the Construction and Analysis of Systems

٢٠١٠

Unfoldings

٢٠٠٨

Moros y cristianos: la gran aventura de la España medieval (Unabridged)

٢٠١٩

La cruzada del océano: La gran aventura de la conquista de América (Unabridged)

٢٠٢٥

Moros y cristianos: La gran aventura de la España medieval (Unabridged)

٢٠٢٥