The B-Method (Cornerstones of Computing)

Schneider, Dr Steve

ISBN 10: 033379284X / ISBN 13: 9780333792841

Verlag: Palgrave Macmillan, 2001

Beschreibung

Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned.

Bestandsnummer des Verkäufers rev9857755885

Bibliografische Details

• Titel: The B-Method (Cornerstones of Computing)
• Verlag: Palgrave Macmillan
• Veröffentlichungsdatum: 2001
• Sprache: Englisch
• ISBN-10: 033379284X
• ISBN-13: 9780333792841
• Bindung: Softcover
• Zustand: Good

Über diesen Titel

Inhaltsangabe

This book provides a textbook introduction to the B-Method, a rigorous methodology for the development of correct software. The text covers all stages of the B software development process - from specification, through refinement and design, down to implementation and automatic code generation. The method uses a single uniform notation throughout development, designed to enable verification at each stage whilst placing particular emphasis on correctness.

· Suitable for undergraduate and postgraduate courses on formal methods and software development
· Written in a clear tutorial style of explanation
· Contains numerous illustrative examples, exercises and self-testing questions with solutions throughout
· Relevant to users of any B-Method CASE tool
· Teaching materials available online

The B-Method : An Introduction also offers readers powerful tool support by providing a free licence for the B-Toolkit - an integrated toolset which supports and extends the entire B development lifecycle.

Über die Autorin bzw. den Autor

STEVE SCHNEIDER is Professor of Computing in the Department of Computing, University of Surrey, UK. He has taught the B-method at undergraduate and postgraduate level over a number of years, and has published papers on B at international formal methods conferences and workshops.