Monografia
| 10740 | IV.50 |
FUNDAMENTALS OF ALGEBRAIC SPECIFICATION 1: EQUATIONS AND INITIAL SEMANTICS
Fundamentals of algebraic specification 1 : equations and initial semantics.- Berlin : Springer-Verlag, [s.d.].- XI,321p. ; il. ; 30cm
: OFERTA
LOGICA MATEMATICA, TEORIA DOS CONJUNTOS
Especificações equacionais e algebra. Especificações sobre tipos de dados abstractos. A semantica inicial de especificações. Especificidade e caracterização de classes equacionais. Calculo equacional e re-escrita de termos. Correcção e extensão de especificações. Especificações parametrizadas. Apendices: Conceitos duma linguagem de especificação. Semantica da linguagem de especificação "ACT ONE".