Advances in theory and formal methods of computing : proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996
Gespeichert in:
| Körperschaften: | , |
|---|---|
| Weitere Verfasser: | , , |
| Format: | Tagungsbericht |
| Sprache: | English |
| Veröffentlicht: |
London : Imperial Collge Press
1996
|
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Beschreibung: | viii, 330 p. : ill. ; 23 cm. |
|---|---|
| ISBN: | 1860940315 |