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

Uloženo v:
Podrobná bibliografie
Korporace: Imperial College of Science, Technology and Medicine. Department of Computing, Imperial College Department of Computing Workshop on Theory and Formal Methods
Další autoři: Edalat, Abbas, Jourdan, Sofia, McCusker, Guy
Médium: Konferenční příspěvek
Jazyk:English
Vydáno: London : Imperial Collge Press 1996
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!