Più di un milione di libri, a un clic di distanza!
Bookbot

Erich J. Neuhold

    Formal models in programming