Sannella, Donald. , <br/><br/>
Foundations of algebraic specification and formal software development / 
Donald Sannella, Andrzej Tarlecki. 
 - xvi, 581 pages :  illustrations ;  24 cm. 
 - Monographs in theoretical computer science .
<br/><br/><label>ISBN: </label>9783642173356 3642173357 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science --Mathematics.<br/>Software engineering.<br/>Computer software --Development.<br/>Formal methods (Computer science).
<br/><br/><label>LC Class. No.: </label>QA76.9.M35   / .S26 2012