Harry, Andrew.
Formal methods fact file : VDM and Z / Andrew Harry. - Chichester [England] ; New York : Wiley, 1996. - xv, 386 p.:4bill. ; 24 cm. - Wiley series in software engineering practice .
Includes bibliographical references and index.
0471958573 0471940062 (cloth)
96028030
Computer software--Development.
Formal methods (Computer science)
005.12
Formal methods fact file : VDM and Z / Andrew Harry. - Chichester [England] ; New York : Wiley, 1996. - xv, 386 p.:4bill. ; 24 cm. - Wiley series in software engineering practice .
Includes bibliographical references and index.
0471958573 0471940062 (cloth)
96028030
Computer software--Development.
Formal methods (Computer science)
005.12