Sannella, Donald; Tarlecki, Andrzej <br/><br/>
Foundations of algebraic specification and formal software development 
Donald; Tarlecki, Andrzej Sannella 
 - Heidelberg; Dordrecht; London; New York  Springer  2012 
 - 581 S. 
<br/><br/><label>ISBN: </label>9783642173356  85,55 EUR 
<br/><br/><label>Subjects--Index Terms: </label>Softwareentwicklung