Peter Whysall

1 book • 1 series

Dec 31, 1992
Cover of Formal System Specification and Implementation Using Z

Formal System Specification and Implementation Using Z (Prentice Hall International Series in Computer Science)