TY  - BOOK
AU  - Lano,Kevin
TI  - The B Language and Method: A Guide to Practical Formal Development
T2  - Formal Approaches to Computing and Information Technology (FACIT) Series
SN  - 9781447114949
AV  - QA76.758 
U1  - 005.1 
PY  - 1996///
CY  - London
PB  - Springer London, Limited
KW  - B (Computer program language)
KW  - Electronic books
N1  - 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
UR  - https://ebookcentral.proquest.com/lib/orpp/detail.action?docID=3074773
ER  -