SPECIFICATION IN B: AN INTRODUCTION USING THE B TOOLKIT - Hardcover
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.
"synopsis" may belong to another edition of this title.
From the Publisher:
Published by Imperial College Press and distributed by World Scientific Publishing Co.
"About this title" may belong to another edition of this title.
- PublisherWorld Scientific Pub Co Inc
- Publication date1996
- ISBN 10 1860940080
- ISBN 13 9781860940088
- BindingHardcover
- Number of pages241
Top Search Results from the AbeBooks Marketplace
Stock Image
Specification in B: An Introduction Using the B Toolkit
Published by
Imperial College Press
(1996)
ISBN 10: 1860940080
ISBN 13: 9781860940088
Used
Hardcover
Quantity: 1
Seller:
Rating
Book Description Hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!. Seller Inventory # S_280749556
Buy Used
US$ 4.00
Convert currency
Stock Image
Specification in B: An Introduction Using the B Toolkit
Published by
Imperial College Press
(1996)
ISBN 10: 1860940080
ISBN 13: 9781860940088
Used
Hardcover
Quantity: 1
Seller:
Rating
Book Description Hardcover. Condition: Bon. Ancien livre de bibliothèque. Jaquette abîmée. Edition 1996. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Damaged dust jacket. Edition 1996. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-867-995
Buy Used
US$ 24.63
Convert currency
Stock Image
Specification in B: An Introduction Using the B Toolkit
Published by
Imperial College Press, London
(1996)
ISBN 10: 1860940080
ISBN 13: 9781860940088
Used
Hardcover
Quantity: 1
Seller:
Rating
Book Description Hardcover. Condition: Very Good. Dust Jacket Condition: Very Good. Hardcover. A few superficial scores and marks on jacket. Lightest of wear on leading corners and spine ends of jacket and hardcover. Pages are clean, binding is sound, and text remains clear throughout. TS. Used. Seller Inventory # 279926
Buy Used
US$ 28.02
Convert currency
Stock Image
Specification in B: An Introduction Using the B Toolkit
Published by
World Scientific Publishing Company
(1996)
ISBN 10: 1860940080
ISBN 13: 9781860940088
Used
Hardcover
Quantity: 1
Seller:
Rating
Book Description Hardcover. Condition: Like New. Like New. book. Seller Inventory # ERICA53718609400805
Buy Used
US$ 31.05
Convert currency