TITLE

Formal Methods Fact File. VDM and Z

AUTHOR(S) SURNAME, FORENAME

Harry, Andrew

Places & Countries of PUBLISHERS    YEAR
Publication

Chichester, UK        John Wiley & Sons    1996

PAGES    ISBN        BINDING    PRICE

xiv+386    0-471-95857-3    Pbk    £22.50

An explanatory text for those wishing to come to terms with VDM and Z, the two best known formal specification methods.

            17.11.96    4540

Converted using Wp2Html from Andrew Scriven. Copyright Cliff Dilloway on the last date above. The Authors Moral Rights are asserted