Meer dan een miljoen boeken binnen handbereik!
Bookbot

Erich J. Neuhold

    Formal models in programming