Lano, K., <br/><br/>
The B language and method :  a guide to practical formal development / 
K. Lano. 
 - 1 online resource (239 pages) :  illustrations. 
 - Formal approaches to computing and information technology .
 - Formal approaches to computing and information technology. .
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>9781447114949 (e-book) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>B (Computer program language)<br/>Computer software--Development.
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>QA76.73.B155  / L36 1996 
<br/><br/><label>Dewey Class. No.: </label>005.1/2/015113