Turski, W adys aw. <br/><br/>
The specification of computer programs / 
W ads aw M. Turski, Thomas S.E. Maibaum. 
 - Wokingham, England ;  Reading, Mass. :  Addison-Wesley,  c1987. 
 - x, 278 p. :  ill. 
<br/><br/><label>ISBN: </label>0201142260 :   17.95 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Development.<br/>Computer programming
<br/><br/><label>LC Class. No.: </label>QA76.76.O47  / T87 1987 
<br/><br/><label>Dewey Class. No.: </label>005.1�19