1. Formal Methods for Distributed Processing

by Bowman, Howard.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2001Availability: Items available for loan: [Call number: 005.117 BOW] (1).
2. Model-driven architecture in practice : a software production environment based on conceptual modeling

by Pastor, Oscar | Molina, Juan Carlos.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 004.22 PAS] (1).

Powered by Koha