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

1
by Alagar, V.S., Periyasamy, K.
Published 1998
Springer New York
Table of Contents: “... Abstraction -- 5 Formal Systems -- 6 Logic -- 7 Set Theory and Relations -- 8 Algebraic Specification -- 9...”
Cover Image
Read Now

2
by Alagar, V.S., Periyasamy, K.
Published 2011
Springer London
Table of Contents: “... Specifications -- Set Theory and Relations -- Part V: Property-oriented Specifications -- Algebraic Specification...”
Cover Image
Read Now

3
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... computation -- Order-sorted algebraic specifications with higher-order functions -- Proving the correctness...”