NUST Institutions Library Catalogue Search for 'an:67537'

Using Z : specification, refinement, and proof /

By Woodcock, Jim.. London ; | New York : Prentice Hall, 1996 . ix, 386 p. : 24 cm.. 0139484728 (pbk. : alk. paper)

By Diller, Antoni.. Chichester, West Sussex, England ; | New York : Wiley & Sons, 1994 . xix, 374 p. : 25 cm.. 0471939730 :

By Dillev, Antoni. NEWYORK JOHN WILEY 1994 . 374P 0-471-93973-0