| Record ID | ia:formalizationofp0000unse |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/formalizationofp0000unse/formalizationofp0000unse_marc.xml |
| Download MARC binary | https://www.archive.org/download/formalizationofp0000unse/formalizationofp0000unse_meta.mrc |
LEADER: 03175cam 2200769 a 4500
001 ocm07550673
003 OCoLC
005 20200109192659.0
008 810420s1981 gw a b 101 0 eng
010 $a 81005715
040 $aDLC$beng$cDLC$dRRR$dMUQ$dBAKER$dNLGGC$dBTCTA$dC$Q$dGBVCP$dHEBIS$dDEBBG$dGW5XE$dYDXCP$dBDX$dOCLCF$dOCLCQ$dOCLCO$dOCLCQ$dOCLCO$dOCL$dOCLCO$dGZN$dOCLCQ$dOCLCO$dCEF$dTKN$dXFF$dFQG$dOCLCQ$dNAM$dNJR$dWYU$dUWO$dCWI$dHUELT$dOCLCQ
015 $a81,A31,0941$2dnb
015 $a81,N18,0203$2dnb
016 7 $a810374404$2DE-101
019 $a7548189
020 $a0387106995$q(U.S. ;$qpbk.)
020 $a9780387106991$q(U.S. ;$qpbk.)
020 $a3540106995
020 $a9783540106999
035 $a(OCoLC)7550673$z(OCoLC)7548189
041 0 $aeng$afre
050 00 $aQA76.6$b.F66
082 00 $a001.64/2$219
084 $a54.52$2bcl
084 $a54.50$2bcl
084 $aQH 500$2rvk
084 $aSS 4800$2rvk
084 $a19a$2sdnb
245 00 $aFormalization of programming concepts :$binternational colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings /$cedited by J. Di az and I. Ramos.
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$c1981.
300 $avii, 478 pages :$billustrations ;$c25 cm
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
338 $avolume$bnc$2rdacarrier
490 1 $aLecture notes in computer science ;$v107
504 $aIncludes bibliographical references and index.
530 $aAlso issued online.
650 0 $aComputer programming$vCongresses.
650 6 $aProgrammation (Informatique)$vCongre s.
650 7 $aComputer programming.$2fast$0(OCoLC)fst00872390
650 7 $aProgrammierung$2gnd
650 7 $aFormale Sprache$2gnd
655 4 $aKongre©$zPen i scola$y1981.
655 7 $aConference papers and proceedings.$2fast$0(OCoLC)fst01423772
655 7 $aKongress.$2swd
700 1 $aDi az, J.$q(Josep),$d1950-
700 1 $aRamos, I.$q(Isidro),$d1943-
711 2 $aInternational Colloquium on the Formalization of Programming Concepts$d(1981 :$cPen i scola, Spain)
830 0 $aLecture notes in computer science ;$v107.
856 41 $3SpringerLink$uhttps://doi.org/10.1007/3-540-10699-5
856 41 $3SpringerLink$uhttp://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=107
856 41 $uhttp://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-10699-9$zAvailable through SpringerLink
856 4 $xLNCS$uhttp://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=107$zConnect to Internet resource
938 $aBaker & Taylor$bBKTY$c74.95$d74.95$i0387106995$n0000486753$sactive
938 $aBrodart$bBROD$n32685610$c$24.50
938 $aBaker and Taylor$bBTCP$n81005715
938 $aYBP Library Services$bYANK$n7723791
029 1 $aAU@$b000002006097
029 1 $aDEBBG$bBV001997348
029 1 $aDEBBG$bBV022167341
029 1 $aGBVCP$b023861800
029 1 $aGEBAY$b11374398
029 1 $aHEBIS$b054448417
029 1 $aNZ1$b2804577
029 1 $aZWZ$b024199958
994 $aZ0$bP4A
948 $hHELD BY P4A - 218 OTHER HOLDINGS