|
|
|
|
| LEADER |
01313nam a2200301 a 4500 |
| 001 |
c000058101 |
| 003 |
CARM |
| 005 |
00000000000000.0 |
| 008 |
s1986 xnaa b 00010 eng d |
| 019 |
1 |
|
|a 5351486
|5 LACONCORD2021
|
| 020 |
|
|
|a 0949100234 :
|c price unknown
|
| 035 |
|
|
|a (OCoLC)27624833
|5 LACONCORD2021
|
| 042 |
|
|
|a anuc
|
| 100 |
1 |
|
|a Foo, Norman Y.
|
| 245 |
1 |
0 |
|a Algebraic specifications from programs /
|c Norman Foo and Michael Newton.
|
| 260 |
|
|
|a [Sydney] :
|b Basser Dept. of Computer Science, University of Sydney,
|c 1986.
|
| 300 |
|
|
|a 54 p. in various pagings :
|b ill. ;
|c 21 cm.
|
| 490 |
1 |
|
|a Technical report / Basser Dept. of Computer Science, University of Sydney ;
|v 294
|
| 504 |
|
|
|a Bibliography: p. [47-48].
|
| 650 |
|
0 |
|a Algebra, Abstract
|x Computer programs.
|
| 650 |
|
0 |
|a Abstract data types (Computer science)
|
| 700 |
1 |
|
|a Newton, Michael.
|
| 710 |
2 |
0 |
|a University of Sydney.
|b Basser Dept. of Computer Science.
|
| 830 |
|
0 |
|a Technical report (University of Sydney. Basser Dept. of Computer Science) ;
|v 294.
|
| 852 |
8 |
|
|b CARM
|h A2:AI38B0
|i B04384
|p 0199287
|f BK
|
| 082 |
0 |
4 |
|a 511.3/02855329
|2 19
|
| 999 |
f |
f |
|i 3b0e7c4d-ba13-560b-832f-594f264f2787
|s fcd8e0ce-a363-5799-80e7-8ce1d4af71ba
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e B04384
|f A2:AI38B0
|h Other scheme
|i book
|m 0199287
|