Wendy MacCaull, Michael Winter, Ivo Düntsch

Relational Methods in Computer Science - Germany Springer 2006

978-3-540-33340-1


Computer Science
Relational Methods in Computer Science