Type and effect systems : behaviours for concurrency /

Na minha lista:
Detalhes bibliográficos
Autor principal: Amtoft, Torben
Outros Autores: Nielson, Hanne Riis, Nielson, Flemming
Formato: Livro
Idioma:English
Publicado em: London : Imperial College Press, c1999.
Assuntos:
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