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

Gespeichert in:
Bibliographische Detailangaben
Körperschaften: Imperial College of Science, Technology and Medicine. Department of Computing, Imperial College Department of Computing Workshop on Theory and Formal Methods
Weitere Verfasser: Edalat, Abbas, Jourdan, Sofia, McCusker, Guy
Format: Tagungsbericht
Sprache:English
Veröffentlicht: London : Imperial Collge Press 1996
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge