Proceedings of the ... Imperial College workshop

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	Imperial College of Science, Technology and Medicine Theory and Formal Methods Section (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	London Imperial College Press 1993-
Schlagworte:	Monografische Reihe
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Band
Theory and formal methods of computing 94 : proceedings of the Second Imperial College Workshop ; [proceedings of the Second Workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London]	1995
Theory and formal methods 1993 : proceedings of the First Imperial College Department of Computing workshop on theory and formal methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29 - 31 March 1993	1993