Lano, Kevin. <br/><br/>
The B Language and Method :  A Guide to Practical Formal Development. 

 - 1st ed. 
 - 1 online resource (240 pages) 
 - Formal Approaches to Computing and Information Technology (FACIT) Series .
 - Formal Approaches to Computing and Information Technology (FACIT) Series .
<br/><br/>Formal Approaches to Computing and Information Technology FACIT -- The B Language and Method -- Copyright -- Preface -- Contents -- Chapter 1 Introduction -- Chapter 2 The Foundations of B AMN -- Chapter 3 Analysis and Specification -- Chapter 4 Design and Implementation -- Chapter 5 Case Studies -- Chapter 6 Conclusions -- Bibliography -- Appendix A Exercise Solutions -- Appendix B Properties of Weakest Preconditions -- Appendix C Proof Techniques -- Index. 
<br/><br/><label>ISBN: </label>9781447114949 
<br/><br/><label>Subjects--Topical Terms: </label><br/>B (Computer program language).
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>QA76.758 
<br/><br/><label>Dewey Class. No.: </label>005.1