Scheurer, Thierry <br/><br/>
Foundations of Computing System Development with Set Theory and Logic  

 - Wokingham :   Addison-Wesley Publishing,   c1994 
 - XXIV, 668 p.  : ill 
 - International Computer Science Series .
<br/><br/>Includes Bibliographical References and Index 
<br/><br/><label>ISBN: </label>0201544296 
<br/><br/><label>ISSN: </label>
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic Symbolic and Mathematical<br/>Set Theory<br/>System Design
<br/><br/><label>Dewey Class. No.: </label>004.21  / SCH