Prentice Hall International Series in Computer Science

1 total work

Formal System Specification and Implementation Using Z

by John McDermid and Peter Whysall

Published 31 December 1992