Theory and formal methods 1993 
/  Proceedings of the first Imperial College Department of Computing workshop on theory and formal methods ......................29-31 March 1993 
 - London:   Springer-Verlag,   1993 
 - viii, 325p. 
<br/><br/><label>ISBN: </label>3-540-19842-3 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Proceedings
<br/><br/><label>Universal Decimal Class. No.: </label>D 681.3.068(082.2)  / N3