| Record ID | talis_openlibrary_contribution/talis-openlibrary-contribution.mrc:754968275:832 |
| Source | Talis |
| Download Link | /show-records/talis_openlibrary_contribution/talis-openlibrary-contribution.mrc:754968275:832?format=raw |
LEADER: 00832cam a2200205 a 4500
001 7383431c834241a8b0bc9c292386071b
003 UK-BiTAL
005 20050705125625.0
008 900231s1981 gw | 000 ||eng|d
020 $a3540106995
035 $a()3540106995
040 $aXB$cXB$dUD$dUK-BiTAL
245 00 $aFormalization of Programming Concepts :$bInternational Colloquium, Peniscola, Spain, April 1981 : Proceedings /$cedited by J. Díaz and I. Ramos.
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$c1981.
300 $avii, 478p. :$bill. ;$c25 cm.
440 0 $aLecture notes in computer science ;$v107
650 0 $aElectronic digital computers$xProgramming.
700 1 $aDíaz, J.,$d1950-
700 1 $aRamos, I.,$d1943-
711 2 $aInternational Colloquium on formalization of programming concepts$d(1981 :$cPeniscola, Spain)