000			00589nam a2200205Ia 4500
001			24246
005			20250221152317.0
008			250214s9999||||xx |||||||||||||| ||und||
020			_a9781850322306
100			_aBowen, Jonathan
245		0	_aFormal specification and documentation using Z : a case study approach
260			_aLondon
260			_bInternational Thomson Computer Press
260			_c1996
300			_axvi, 302p.
500			_aIncludes bibliographical references and index
650			_aFormal methods -- Z
650			_aProgramming language -- Z
942			_cBK
999			_c40175 _d40175