Picture 1 of 1

Stock photo

The B Language and Method: A Guide to Practical Formal Development (Formal Appr - Picture 1 of 1

The B Language and Method: A Guide to Practical Formal Development by Kevin Lano (Paperback, 1996)

Phatpocket Book Shoppe (41351)

99.2% positive Feedback

Price:

£17.11

Free delivery in 2-3 days

Estimated between Fri, 13 Jun and Sat, 14 Jun

Returns:

30 days return. Buyer pays for return postage. If you use an eBay delivery label, it will be deducted from your refund amount.

Condition:

Good

We specialise in high quality textbooks across an enormous variety of subjects. We bring you a vast range of textbooks, rare and collectible books at a great price. Through our work with ACET we have already given hundreds of young people in Africa the vital chance to get an education.

About this product

Product Information

B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. This volume provides a comprehensive introduction to the B Abstract Machine Notation, and to how it can be used to support formal specification and development of high integrity systems. A strong emphasis is placed on the use of B in the context of existing software development methods, including object-oriented analysis and design. The text includes a large number of worked examples, graduated exercises in B AMN specification and development (all of which have been class-tested), two extended case studies of the development process, and an appendix of proof techniques suitable for B. Based on material which has been used to teach B at postgraduate and undergraduate level, this volume will provide invaluable reading a wide range of people, including students, project technical managers and workers, and researchers with an interest in methods integration and B semantics.