Spivey, J M.

Understanding Z Specification Language and its Formal Semantics - Cambridge CUP 1988 - 131p

0 521 33429 2

681.3 SPI
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha