Search alternatives:
"algebraic specification" » "algebra specification"
Cover Image
Read Now

1
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... -- On the semantics of atomized statements — the parallel-choice option — -- Automatic proof methods for algebraic...”
Cover Image
Read Now

2
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... -- Algebras with approximation and recursive data structures -- Procedural implementation of algebraic...”