| Record ID | talis_openlibrary_contribution/talis-openlibrary-contribution.mrc:755069104:495 |
| Source | Talis |
| Download Link | /show-records/talis_openlibrary_contribution/talis-openlibrary-contribution.mrc:755069104:495?format=raw |
LEADER: 00495cam a2200169 a 4500
001 90482ae06b5a45bf8aa2a1cf5fd5db18
003 UK-BiTAL
005 20050705125626.0
008 890407s1985 gw | 000 ||eng|d
020 $a3540152393
035 $a()3540152393
040 $aXB$cXB$dUK-BiTAL
100 1 $aBarringer, Howard.
245 02 $aA survey of verification techniques for parallel programs.
260 $aBerlin :$bSpringer,$c1985.
300 $a115p.
440 0 $aLecture notes in computer science ;$v191