The B Language and Method : A Guide to Practical Formal Development.
Lano, Kevin.
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 .
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.
9781447114949
B (Computer program language).
Electronic books.
QA76.758
005.1
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 .
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.
9781447114949
B (Computer program language).
Electronic books.
QA76.758
005.1