Specification in B: An Introduction Using the B Toolkit

Lano, Kevin,Haughton, Howard

ISBN 10: 1860940188 / ISBN 13: 9781860940187

Published by World Scientific Pub Co Inc, 1996

About this Item

Fast Shipping - Safe and Secure 7 days a week!

Seller Inventory # mon0000000934

Bibliographic Details

• Title: Specification in B: An Introduction Using the B Toolkit
• Publisher: World Scientific Pub Co Inc
• Publication Date: 1996
• Language: English
• ISBN 10: 1860940188
• ISBN 13: 9781860940187
• Binding: paperback
• Condition: Very Good

About this title

Synopsis

This book gives a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques.It is suitable for both undergraduate and postgraduate courses, in addition to being an introduction for industrial practitioners. Extensive examples of all development life-cycle stages are given, including animation, proof, design and code generation in C. Two large case studies and exercises with solutions are provided.The authors have extensive experience in teaching B and in its industrial application to high integrity systems. The book uses the B Toolkit to support the text, but it is also relevant to users of alternative toolsets for B.

From the Publisher

Published by Imperial College Press and distributed by World Scientific Publishing Co.