| Record ID | ia:formalspecificat0000ligh |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/formalspecificat0000ligh/formalspecificat0000ligh_marc.xml |
| Download MARC binary | https://www.archive.org/download/formalspecificat0000ligh/formalspecificat0000ligh_meta.mrc |
LEADER: 02031cam 2200517 a 4500
001 ocm45829888
003 OCoLC
005 20220920030702.0
008 010131s2001 enk 001 0 eng
040 $aUKM$beng$cUKM$dOCLCQ$dBAKER$dOCLCQ$dYDXCP$dAU@$dUKBOL$dOCLCO$dOCLCF$dOCLCQ$dI8M$dOCLCQ$dOL$$dUKOBU$dOCLCO$dOCLCQ$dOCLCO
015 $aGB98W0693$2bnb
020 $a0333763270
020 $a9780333763278
035 $a(OCoLC)45829888
050 4 $aQA76.73.Z2$bL53 2001
082 04 $a005.133$221
100 1 $aLightfoot, David E.,$d1951-
245 10 $aFormal specification using Z /$cDavid Lightfoot.
250 $a2nd ed.
260 $aBasingstoke :$bPalgrave,$c2001.
300 $axii, 164 pages ;$c25 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
338 $avolume$bnc$2rdacarrier
490 1 $aGrassroots series
500 $aPrevious edition: Basingstoke : Macmillan, 1991.
500 $aIncludes index.
520 $aFormal Specification Using Z is an introductory book intended for the many software engineers and students who will benefit from learning about this important topic in software engineering.
650 0 $aZ (Computer program language)
650 0 $aComputer software$xDevelopment.
650 0 $aFormal methods (Computer science)
650 6 $aZ (Langage de programmation)
650 6 $aMéthodes formelles (Informatique)
650 7 $aComputer software$xDevelopment.$2fast$0(OCoLC)fst00872537
650 7 $aFormal methods (Computer science)$2fast$0(OCoLC)fst00932926
650 7 $aZ (Computer program language)$2fast$0(OCoLC)fst01183966
830 0 $aGrassroots (Lagos, Nigeria)
938 $aBaker & Taylor$bBKTY$c48.00$d52.95$i0333763270$n0004175329$sactive
938 $aYBP Library Services$bYANK$n100139621
029 1 $aAU@$b000022228543
029 1 $aHR0$b0333763270
029 1 $aNLGGC$b177226080
029 1 $aNZ1$b6044820
029 1 $aUNITY$b009729402
994 $aZ0$bGTX
948 $hNO HOLDINGS IN GTX - 67 OTHER HOLDINGS