| Record ID | marc_loc_2016/BooksAll.2016.part38.utf8:151838048:975 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part38.utf8:151838048:975?format=raw |
LEADER: 00975cam a22002897a 4500
001 2010932767
003 DLC
005 20120818090720.0
008 100719s2010 enka b 000 0 eng
010 $a 2010932767
020 $a9781848829114 (alk. paper)
020 $a9781848829121 (e-ISBN)
035 $a(OCoLC)ocn436031042
040 $aUKM$cUKM$dBTCTA$dYDXCP$dCDX$dC#P$dBWX$dMUU$dUKMGB$dDLC
042 $alccopycat
050 00 $aQA76$b.R423 2010
082 04 $a004$222
245 00 $aReflections on the work of C.A.R. Hoare /$cCliff B. Jones, A.W. Roscoe, Kenneth R. Wood, editors.
260 $aLondon ;$aNew York :$bSpringer,$cc2010.
300 $axii, 430 p. :$bill. ;$c24 cm.
504 $aIncludes bibliographical references.
600 10 $aHoare, C. A. R.$q(Charles Antony Richard),$d1934-
650 0 $aComputer science.
650 0 $aElectronic data processing.
700 1 $aJones, C. B.$q(Cliff B.),$d1944-
700 1 $aRoscoe, A. W.
700 1 $aWood, Kenneth B.