| Record ID | talis_openlibrary_contribution/talis-openlibrary-contribution.mrc:272892641:570 |
| Source | Talis |
| Download Link | /show-records/talis_openlibrary_contribution/talis-openlibrary-contribution.mrc:272892641:570?format=raw |
LEADER: 00570cam a2200169 a 4500
001 c1ba128bcaca4b809d4291011fec0bdb
003 UK-BiTAL
005 20050705115048.0
008 890318s1986 xxk | 000 ||eng|d
035 $a()y951253x
040 $aUP$cUP$dUP$dUK-BiTAL
100 1 $aMycroft, Alan.
245 02 $aA study on abstract interpretation and "validating microcode algebraically".
260 $aCambridge :$bUniversity of Cambridge, Computer Laboratory,$c1986.
300 $a22p.
490 0 $aTechnical report ;$vNo.97
710 2 $aUniversity of Cambridge.$bComputer Laboratory.