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:
Descripción
Descripción Física:viii, 330 p. : il.
ISBN:1860940315