Theory and formal methods of computing 94 : proceedings of the Second Imperial College Workshop; [held in Cambridge on 11. - 14. September 1994]

Bibliographic Details
Other Involved Persons: Hankin, Chris (Editor) ; Imperial College of Science, Technology and Medicine Theory and Formal Methods Section ; Theory and Formal Methods Workshop
Format: Book
Published: [London] : Imperial College Press [u.a.] 1995
Item Description:Name der Kongreßkörperschaft: Theory and Formal Methods Workshop, Moeller-Centre, Cambridge
Physical Description:IX, 431 S. graph. Darst.
Other Editions:Show all 2 Editions
QR Code: Show QR Code