MPG.eBooks - Search Results - "algebraic specification"

1

Published 1989

Springer Berlin Heidelberg

Table of Contents: “...Algebraic specification a step towards future software engineering -- How to make algebraic...”

2

Published 1996

Springer Berlin Heidelberg

Table of Contents: “... results -- Algebraic specification of reactive systems -- A model for mobile point-to-point data-flow...”

3

Published 1992

Springer Berlin Heidelberg

Table of Contents: “... -- Implementing higher-order functions in an algebraic specification language with narrowing -- Implementing...”

4

Published 1987

Springer Berlin Heidelberg

Table of Contents: “... for algebraic specifications --...”

5

Published 1991

Springer Berlin Heidelberg

“... and program development based on algebraic specifications and program transformations. Examples are also...”