Advances in theory and formal methods of computing : proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996

Guardado en:

Detalles Bibliográficos
Autores Corporativos:	Imperial College of Science, Technology and Medicine. Department of Computing, Imperial College Department of Computing Workshop on Theory and Formal Methods
Otros Autores:	Edalat, Abbas, Jourdan, Sofia, McCusker, Guy
Formato:	Procedimiento de la Conferencia
Lenguaje:	English
Publicado:	London : Imperial Collge Press 1996
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

MARC


LEADER	00000 a2200000 4500
003	003300
005	20221231143808.0
008	140114s1996 enka 000 \|\|eng d
020		\|a 1860940315
040		\|c cru CEDI
082		\|a 004.015.113 A244a
245		\|a Advances in theory and formal methods of computing : proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996
260		\|c 1996 \|a London : Imperial Collge Press
300		\|a viii, 330 p. : ill. ; 23 cm.
700		\|9 21573 \|a Edalat, Abbas
700		\|a Jourdan, Sofia \|9 21574
700		\|9 21575 \|a McCusker, Guy
710		\|9 21576 \|a Imperial College of Science, Technology and Medicine. Department of Computing.
711		\|a Imperial College Department of Computing Workshop on Theory and Formal Methods \|c Oxford, England \|d 3rd : 1996 \|9 21578
942		\|2 ddc \|c BK
999		\|c 12108 \|d 12108