Advances in theory and formal methods of computing

Guardado en:
Detalles Bibliográficos
Autor principal: Imperial College Workshop (3 : 1996, 1-3 april : Oxford, United King).
Autor Corporativo: Imperial College Workshop
Otros Autores: Edalat, Abbas., Jourdan, Sofia., McCusker, Guy.
Formato: Libro
Lenguaje:Inglés
Publicado: London : Imperial College Press, c1996.
Materias:
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