| Record ID | talis_openlibrary_contribution/talis-openlibrary-contribution.mrc:2694765143:812 |
| Source | Talis |
| Download Link | /show-records/talis_openlibrary_contribution/talis-openlibrary-contribution.mrc:2694765143:812?format=raw |
LEADER: 00812cam a22002295a 4500
001 564a70da6ce04059bf8cd4d80f306f77
003 UK-BiTAL
005 20050706000747.0
008 941215s1992 ie 000 ||eng|d
015 $aGB9414343$2bnb
035 $a()b9414343
035 $a(IeDuTC)D1834452
040 $aIeDuTC$cIeDuTC$dUK-BiTAL
100 1 $aButterfield, A.$q(Andrew)
245 10 $aMemory models :$ba formal analysis using VDM /$cA. Butterfield.
260 $aDublin :$bTrinity College, Department of Computer Science,$c1992.
300 $a28p. ;$c30 cm.
490 0 $aTCD-CS-92-27
650 0 $aError-correcting codes (Information theory)
650 0 $aFault-tolerant computing.
650 0 $aComputer networks$xMathematical models.
710 2 $aTrinity College (Dublin, Ireland).$bDepartment of Computer Science.