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...”