Formal methods in systems engineering 
edited by Peter Ryan and Chris Sennett 
 - New York  Springer-Verlag  1993 
 - xi, 191p.  23cm 
<br/><br/><label>ISBN: </label>3540197516 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Digital electronics
<br/><br/><label>Dewey Class. No.: </label>620.7  / FOR