Theory and formal methods of computing 94: proceedings of the 2. Imperial College workshop
London: Imperial College Press, 1995
Konferenzschrift, Sammelwerk, Gedruckte Ressource
- IX, 431 S. : Ill.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Theory and formal methods of computing 94: proceedings of the 2. Imperial College workshop
|
---|---|
Verantwortlichkeitsangabe: | ed.: C. Hankin .. |
Autor/in / Beteiligte Person: | Hankin, Chris |
Körperschaft: | Imperial College of Science, Technology and Medicine |
Link: | |
Veröffentlichung: | London: Imperial College Press, 1995 |
Medientyp: | Konferenzschrift, Sammelwerk |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | IX, 431 S. : Ill. |
ISBN: | 186094003x |
Schlagwort: |
|
Sonstiges: |
|