Using Z : specification, refinement, and proof

dc.contributor.author	Woodcock, Jim
dc.contributor.author	Davies., Jim
dc.date.accessioned	2023-12-08T05:03:58Z
dc.date.available	2023-12-08T05:03:58Z
dc.date.issued	1996
dc.identifier.isbn	0139484728
dc.identifier.other	MCS37041
dc.identifier.other	MCS37042
dc.identifier.uri	http://10.250.8.41:8080/xmlui/handle/123456789/41010
dc.language.iso	en	en_US
dc.publisher	Prentice Hall	en_US
dc.title	Using Z : specification, refinement, and proof	en_US
dc.type	Book	en_US