The B Language and Method : A Guide to Practical Formal Development.

By:

Lano, Kevin

Material type: Text

TextSeries: Formal Approaches to Computing and Information Technology (FACIT) SeriesPublisher: London : Springer London, Limited, 1996Copyright date: ©1996Edition: 1st edDescription: 1 online resource (240 pages)Content type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

9781447114949

Subject(s):

B (Computer program language)

Genre/Form:

Electronic books.

Additional physical formats: Print version:: The B Language and MethodDDC classification:

005.1

LOC classification:

QA76.758

Online resources:

Click to View

Contents:

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.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

No physical items for this record

Description based on publisher supplied metadata and other sources.

Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2024. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.

There are no comments on this title.

to post a comment.