005.1015113  / L285S <br/>
Lano,Kevin <br/>
       SPECIFICATION IN B : AN INTRODUCTION USING THE B TOOLKIT 
 / 
 .-  Imperial College Press, London,  1996 
 .- xi,242 . 
<br/>Includes Index 
<br><u>ISBN:</u> 1860940080 
<br/><u>Subject Headings:</u> <br/>B (Computer Program Language);
<br/><U>Author Added Entry: </u><br/>Haughton,Howard;
<br><U>Copy Details:</u><br> Acc. No.: <b>A124005</b>, Full Call No.: 005.1015113 L285S,   Item type:  Books , Location: COMPACT STORAGE (BASEMENT), <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>