|
|
|
|
| LEADER |
01162nam a2200313 a 4500 |
| 001 |
c000385984 |
| 003 |
CARM |
| 005 |
00000000000000.0 |
| 008 |
990504s1999 enka 001 0 eng |
| 015 |
|
|
|a GB99-34615
|
| 019 |
1 |
|
|a 20060435
|z 44126054
|5 LACONCORD2021
|
| 020 |
|
|
|a 1860941540 :
|c No price
|
| 020 |
|
|
|a 1860941540 :
|
| 035 |
|
|
|a (OCoLC)41339334
|5 LACONCORD2021
|
| 040 |
|
|
|a Uk
|b eng
|d Uk
|
| 082 |
0 |
4 |
|a 004.35
|2 21
|
| 100 |
1 |
|
|a Amtoft, Torben.
|
| 245 |
1 |
0 |
|a Type and effect systems :
|b behaviours for concurrency /
|c Torben Amtoft, Flemming Nielson, Hanne Riis Nielson.
|
| 260 |
|
|
|a London :
|b Imperial College Press,
|c c1999.
|
| 300 |
|
|
|a 253 p. :
|b ill. ;
|c 23 cm.
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 650 |
|
0 |
|a System analysis.
|
| 650 |
|
0 |
|a Multitasking (Computer science)
|
| 650 |
|
0 |
|a Computer algorithms.
|
| 700 |
1 |
|
|a Nielson, Hanne Riis.
|
| 700 |
1 |
|
|a Nielson, Flemming.
|
| 852 |
8 |
|
|b CARM
|h A3:AI03E0
|i C12537
|p 0481304
|f BK
|
| 999 |
f |
f |
|i 3467fb86-932c-53f5-af1c-08bbd53a1fc1
|s 37eb6f60-f355-55b5-b1c9-4ea9503d7a15
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e C12537
|f A3:AI03E0
|h Other scheme
|i book
|m 0481304
|