MARC record from Internet Archive

LEADER: 02201cam 2200517 a 4500
001 ocm34763106
003 OCoLC
005 20220919044053.0
008 960521s1996 enk b 001 0 eng d
040 $aESU$beng$cESU$dGUA$dOCLCQ$dBAKER$dOCLCQ$dYDXCP$dOCLCG$dAU@$dDEBSZ$dNLE$dOCLCF$dOCLCQ$dOCLCO$dOCLCQ$dDHA$dAPUMS$dOCLCQ$dLND$dOCLCO$dCPO$dOCLCQ$dUWO$dOCLCO$dOCLCQ
015 $aGB95R5711$2bnb
019 $a1167318763
020 $a1850322309
020 $a9781850322306
035 $a(OCoLC)34763106$z(OCoLC)1167318763
050 14 $aQA76.73.Z2$bB68 1996
082 04 $a001.6425$bBOW
082 04 $a005.133$220
100 1 $aBowen, J. P.$q(Jonathan Peter),$d1956-
245 10 $aFormal specification and documentation using Z :$ba case study approach /$cJonathan Bowen.
246 14 $aFormal specification & documentation using Z
260 $aLondon ;$aBoston :$bInternational Thomson Computer Press,$c©1996.
300 $axvi, 302 pages ;$c24 cm
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
338 $avolume$bnc$2rdacarrier
504 $aIncludes bibliographical references (pages 239-284) and index.
650 0 $aZ (Computer program language)
650 0 $aSystem design.
650 0 $aComputer software$xDevelopment.
650 0 $aSoftware documentation.
650 6 $aZ (Langage de programmation)
650 6 $aConception de systèmes.
650 6 $aLogiciels$xDocumentation.
650 7 $aComputer software$xDevelopment.$2fast$0(OCoLC)fst00872537
650 7 $aSoftware documentation.$2fast$0(OCoLC)fst01124182
650 7 $aSystem design.$2fast$0(OCoLC)fst01141401
650 7 $aZ (Computer program language)$2fast$0(OCoLC)fst01183966
776 08 $iOnline version:$aBowen, J.P. (Jonathan Peter), 1956-$tFormal specification and documentation using Z.$dLondon ; Boston : International Thomson Computer Press, ©1996$w(OCoLC)649582842
938 $aBaker & Taylor$bBKTY$c44.95$d44.95$i1850322309$n0002782072$sactive
938 $aYBP Library Services$bYANK$n1310485
029 1 $aAU@$b000012259660
029 1 $aNZ1$b4642723
029 1 $aUNITY$b010784071
994 $aZ0$bGTX
948 $hNO HOLDINGS IN GTX - 86 OTHER HOLDINGS