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