Advances in theory and formal methods of computing
Guardado en:
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: |
Ejemplares similares
-
Functional and logic programming
por: Fuji International Workshop on Functional and Logic Programming (2 : 1996, november 1-4 : Shonan Village Center, Japan).
Publicado: (c1997.) -
Functional and logic programming
por: Fuji International Workshop on Functional and Logic Programming (1 : 1995, july 17-19 : Susono, Japan).
Publicado: (c1995.) -
Proceedings of the 4th workshop on PASA'96 : parallel systems & algorithms
por: Workshop on PASA'96 (4 : 1996, april 10-12 : Research Center Julich, Germany).
Publicado: (c1997.) -
Advances in quamtum flux parametron computer design /
Publicado: (c1992.) -
Intelligent systems and soft computing for nuclear science and industry
por: International FLINS Workshop (2 : 1996, september 25-27 : Mol, Belgium).
Publicado: (c1996.)