Feijs, L M G. Jonkers, H B M.
Formal Specification and Design - Cambridge Cambridge University Press 1992 - 335p - Cambridge Tracts in Theoretical Computer Science, 35 .
0 521 43457 2
Algebraic specifications
State-based specifications
681.3.06 FEI
Formal Specification and Design - Cambridge Cambridge University Press 1992 - 335p - Cambridge Tracts in Theoretical Computer Science, 35 .
0 521 43457 2
Algebraic specifications
State-based specifications
681.3.06 FEI