|
|
|
|
LEADER |
00877Cam#a2200313#u#4500 |
001 |
OPESID004001 |
003 |
OPE |
005 |
20091109155652 |
008 |
||||||| enka | |||| ||eng d |
020 |
# |
# |
|a 1860940315
|
040 |
# |
# |
|a OPE
|b spa
|c OPE
|
092 |
# |
# |
|c 005.06
|l IMP
|
111 |
2 |
# |
|a Imperial College Workshop
|n (3 :
|d 1996, 1-3 april :
|c Oxford, United King).
|
245 |
1 |
0 |
|a Advances in theory and formal methods of computing
|
260 |
# |
# |
|a London :
|b Imperial College Press,
|c c1996.
|
300 |
# |
# |
|a viii, 330 p. :
|b il.
|
650 |
# |
4 |
|a Workshop
|
650 |
# |
4 |
|a Informática
|
650 |
# |
4 |
|a Métodos formales
|
653 |
# |
# |
|a Computación
|
700 |
1 |
# |
|a Edalat, Abbas.
|
700 |
1 |
# |
|a Jourdan, Sofia.
|
700 |
1 |
# |
|a McCusker, Guy.
|
866 |
0 |
# |
|a 1 ej.
|
908 |
# |
# |
|a IMP
|
929 |
# |
# |
|a DON
|
930 |
# |
# |
|a A3947
|d pre
|
952 |
# |
# |
|f DON
|w ||||||
|p OPEA3947
|a OPE
|b OPE
|o 005.06 IMP
|y IMP
|
999 |
# |
# |
|a ALICIA
|