|
|
|
|
| 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
|