+1M libros, ¡a una página de distancia!
Bookbot

Erich J. Neuhold

    Formal models in programming