001.6425  / F324f <br/>
Feijs, L. M. G. <br/>
       FORMAL SPECIFICATION AND DESIGN 
 / 
 .- Cambridge: Cambridge Univ. Press,  c1992 
 .- xvi,335 . 
.- ( Cambridge Tracts In Theoretical Computer Science  No. 35   
<br/>Includes Bibliographical References And Index 
<br><u>ISBN:</u> 0521434572 
<br/><u>Subject Headings:</u> <br/>Software Engineering;<br/>Programming Languages (Electronic Computers);
<br/><U>Author Added Entry: </u><br/>Jonkers, H. B. M.;
<br><U>Copy Details:</u><br> Acc. No.: <b>A116161</b>, Full Call No.: 001.6425 F324f,   Item type:  Books , Location: COMPACT STORAGE (BASEMENT), <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>