ASTESIANO E; KREOWSKI HJ; KRIEG BRUCKNER B <br/><br/>
ALGEBRAIC FOUNDATIONS OF SYSTEMS SPECIFICATION 

 -  SPRINGER INC  1999 
 - 615 
<br/><br/><label>ISBN: </label>3540637729 
<br/><br/><label>Subjects--Topical Terms: </label><br/>SOFTWARE ENGINEERING SOFTWARE ENGINEERING 
<br/><br/><label>Dewey Class. No.: </label>005.1  / AST