Baber, Robert Laurence <br/><br/>
The spine of software : designing provably correct software, theory and practice or a mathemat. introd. to the semantics of computer programs 

 - 	Chichester  Wiley  1987 
<br/><br/><label>ISBN: </label>0-471-91474-6 
<br/><br/><label>Source: </label> 1991-107 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programming<br/>Computer software--Development
<br/><br/><label>LC Class. No.: </label>QA76.76  / .D47B33 1987