Biblioteca da Universidade do Minho

Your cart is empty.
Classen,, Ingo Algebraic specification techniques and tools for software development : the ACT approach / Ingo Claèn, Hartmut Ehrig, Dietmar Wolz

Algebraic specification techniques and tools for software development : the ACT approach / Ingo Claèn, Hartmut Ehrig, Dietmar Wolz . - Singapore : World Scientific, cop. 1994 . - XVI, 237 p. : il. 23 cm . - (AMAST series in computing; 1)
981-02-1227-5 (Encadernado)

681.3.06