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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha