The B Language and Method: A Guide to Practical Formal Development - Formal Approaches to Computing and Information Technology (FACIT) (Paperback)
  • The B Language and Method: A Guide to Practical Formal Development - Formal Approaches to Computing and Information Technology (FACIT) (Paperback)
zoom

The B Language and Method: A Guide to Practical Formal Development - Formal Approaches to Computing and Information Technology (FACIT) (Paperback)

(author)
£69.99
Paperback 232 Pages / Published: 14/05/1996
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540760337
Number of pages: 232
Weight: 376 g
Dimensions: 235 x 155 x 13 mm
Edition: Softcover reprint of the original 1st ed. 199

You may also be interested in...

Clean Code
Added to basket
£36.99
Paperback
Impact Mapping
Added to basket
£9.99
Paperback
The Agile Samurai
Added to basket
Test Driven Development
Added to basket
The Art of Unit Testing
Added to basket
The Mythical Man-Month
Added to basket
Design Patterns
Added to basket
£44.49
Hardback
Coaching Agile Teams
Added to basket
Essential Scrum
Added to basket
£36.99
Paperback
Domain-Driven Design
Added to basket
£55.49
Hardback
Agile Software Requirements
Added to basket
Designing Data-Intensive Applications
Added to basket
Peopleware
Added to basket
£33.49
Paperback
Implementing Domain-Driven Design
Added to basket

Please sign in to write a review

Your review has been submitted successfully.