Advances in theory and formal methods of computing : proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996
Gorde:
| Egile korporatiboa: | , |
|---|---|
| Beste egile batzuk: | , , |
| Formatua: | Procedimiento de la Conferencia |
| Hizkuntza: | English |
| Argitaratua: |
London : Imperial Collge Press
1996
|
| Etiketak: |
Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|
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 | ||