Practical formal methods with VDM

Bibliographic Details
Main Authors:	Andrews, D. (Derek) (Author), Ince, Darrel (Author)
Format:	Book
Published:	Berkshire, England McGraw-Hill c1991
Subjects:	Computer software > Development

MARC


LEADER	00000cam a2200000 7i4500
001	0000038038
008	021119n
020			\|a 0077072146
090	0	0	\|a QA76.76.D47 \|b A52 1991
100	0		\|a Andrews, D. \|q (Derek) \|e author
245	0	0	\|a Practical formal methods with VDM \|c Derek Andrews, Darrel Ince
260	2		\|a Berkshire, England \|b McGraw-Hill \|c c1991
300			\|a xvi, 450 p. \|c 24 cm.
650		0	\|a Computer software \|x Development
700	0		\|a Ince, Darrel \|e author
999			\|a 1000084629 \|b Book \|c OPEN SHELF (30 DAYS) \|e Tembila Campus