MARC record from Internet Archive

LEADER: 02440cam 2200661 a 4500
001 ocm24792411
003 OCoLC
005 20201008023538.0
008 911025s1992 nyu b 001 0 eng
010 $a 91040182
040 $aDLC$beng$cDLC$dNAT$dUKM$dNLGGC$dBTCTA$dYDXCP$dOCLCG$dDEBBG$dBDX$dGBVCP$dOCLCO$dOCLCF$dOCLCQ$dI8M$dOCLCO$dOCLCQ$dCPO$dOCLCQ$dLVT$dL2U$dLUN
015 $aGB9222306$2bnb
015 $aGB92-22306
019 $a26547042$a1166993662
020 $a0139510621
020 $a9780139510625
035 $a(OCoLC)24792411$z(OCoLC)26547042$z(OCoLC)1166993662
050 00 $aQA76.76.V47$bD34 1992
080 $a518.568.D13
082 00 $a005.1/4$220
084 $a54.51$2bcl
084 $a*68-02$2msc
084 $a68N01$2msc
084 $a68Q60$2msc
084 $a68Q65$2msc
084 $aST 230$2rvk
084 $aST 233$2rvk
100 1 $aDahl, Ole-Johan,$d1931-
245 10 $aVerifiable programming /$cOle-Johan Dahl.
260 $aNew York :$bPrentice Hall,$c1992.
300 $aix, 269 pages ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
338 $avolume$bnc$2rdacarrier
490 1 $aPrentice Hall international series in computer science
504 $aIncludes bibliographical references (pages 260-262) and index.
650 0 $aComputer programs$xVerification.
650 7 $a54.51 programming techniques.$0(NL-LeOCL)077605292$2bcl
650 7 $aComputer programs$xVerification.$2fast$0(OCoLC)fst00872448
650 7 $aProgrammverifikation$2gnd
650 17 $aProgrammatuurtechniek.$2gtt
653 0 $aProgramming
776 08 $iOnline version:$aDahl, Ole-Johan, 1931-$tVerifiable programming.$dNew York : Prentice Hall, 1992$w(OCoLC)609227029
830 0 $aPrentice-Hall international series in computer science.
856 41 $3Table of contents$uhttp://www.gbv.de/dms/bowker/toc/9780139510625.pdf
856 42 $3Inhaltstext$uhttp://www.zentralblatt-math.org/zmath/en/search/?an=0790.68005
938 $aBrodart$bBROD$n44637888$c$39.00
938 $aBaker and Taylor$bBTCP$n91040182
938 $aYBP Library Services$bYANK$n81028
029 1 $aAU@$b000008637501
029 1 $aDEBBG$bBV008229688
029 1 $aGBVCP$b019612818
029 1 $aHEBIS$b027290786
029 1 $aNLGGC$b087932210
029 1 $aNZ1$b3939051
029 1 $aYDXCP$b81028
994 $aZ0$bP4A
948 $hNO HOLDINGS IN P4A - 166 OTHER HOLDINGS