Formal object-oriented specification using object-z

Kuke Roger Ed.

Formal object-oriented specification using object-z Kuke Roger Ed.; Rose Gordon Ed. - 2000

9511

Textual

D6,8(B2897), P0