| Record ID | ia:introductiontofo0000shep |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/introductiontofo0000shep/introductiontofo0000shep_marc.xml |
| Download MARC binary | https://www.archive.org/download/introductiontofo0000shep/introductiontofo0000shep_meta.mrc |
LEADER: 02602cam 2200685 a 4500
001 ocm30437965
003 OCoLC
005 20200707073940.0
008 940426s1995 enka b 001 0 eng
010 $a 94020024
040 $aDLC$beng$cDLC$dNLGGC$dBAKER$dBTCTA$dYDXCP$dZWZ$dDEBBG$dOCLCQ$dOCLCF$dNLE$dOCLCO$dOCLCQ$dUKOBU$dOCLCO$dLVT$dUKUOY$dS2H$dOCLCA
015 $aGB94W7017$2bnb
019 $a877289368
020 $a0077079078
020 $a9780077079079
020 $z007779078
035 $a(OCoLC)30437965$z(OCoLC)877289368
050 00 $aQA76.73.Z2$bS48 1995
080 $a518.572.7.S54
082 00 $a005.1/01/5113$220
084 $a54.53$2bcl
084 $aDAT 335f$2stub
084 $aDAT 370f$2stub
100 1 $aSheppard, Deri.
245 13 $aAn introduction to formal specification with Z and VDM /$cDeri Sheppard.
260 $aLondon ;$aNew York :$bMcGraw-Hill,$c©1995.
300 $axvii, 398 pages :$billustrations ;$c25 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
338 $avolume$bnc$2rdacarrier
490 1 $aThe McGraw-Hill international series in software engineering
504 $aIncludes bibliographical references (pages 390-392) and index.
530 $aAlso issued online.
583 1 $aLegacy$c2018$5UoY
650 0 $aZ (Computer program language)
650 0 $aComputer software$xDevelopment.
650 1 $aComputer software$xDevelopment.
630 04 $aZ (computer program language).
650 7 $aComputer software$xDevelopment.$2fast$0(OCoLC)fst00872537
650 7 $aZ (Computer program language)$2fast$0(OCoLC)fst01183966
650 7 $aFormale Spezifikationstechnik$2gnd
650 7 $aVDM$2gnd
650 7 $aZ$gProgrammiersprache$2gnd
650 17 $aZ (programmeertaal)$2gtt
650 17 $aVDM.$2gtt
650 7 $aZ (langage de programmation)$2ram
650 7 $aLogiciels$xDéveloppement.$2ram
650 07 $aVDM.$2swd
776 08 $iOnline version:$aSheppard, Deri.$tIntroduction to formal specification with Z and VDM.$dLondon ; New York : McGraw-Hill, ©1995$w(OCoLC)623372642
830 0 $aMcGraw-Hill international series in software engineering.
938 $aBaker & Taylor$bBKTY$c44.01$d33.01$i0077079078$n0002494112$sactive
938 $aBaker and Taylor$bBTCP$n94020024$c£19.95
938 $aYBP Library Services$bYANK$n100027693
029 1 $aAU@$b000010943359
029 1 $aDEBBG$bBV010431775
029 1 $aHEBIS$b046363866
029 1 $aNLGGC$b119044862
029 1 $aZWZ$b018974333
994 $aZ0$bP4A
948 $hNO HOLDINGS IN P4A - 62 OTHER HOLDINGS