Hubmann, Heinrich <br/><br/>
Formal foundations for software engineering methods 

 - New York:  Springer,  1997 
 - x, 286p.;  24cm. 
<br/><br/><label>ISBN: </label>3540636137 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Systems analysis and design<br/>Computer science
<br/><br/><label>Dewey Class. No.: </label>004.21  / HUB