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 ...
Read More
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.
Read Less
Add this copy of The B-Method (Cornerstones of Computing) to cart. $23.97, very good condition, Sold by Open Books Ltd rated 4.0 out of 5 stars, ships from Chicago, IL, UNITED STATES, published 2001 by Red Globe Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very good. Open Books is a nonprofit social venture that provides literacy experiences for thousands of readers each year through inspiring programs and creative capitalization of books.
Add this copy of The B-Method (Cornerstones of Computing) to cart. $31.75, fair condition, Sold by Anybook rated 4.0 out of 5 stars, ships from Lincoln, UNITED KINGDOM, published 2001 by Palgrave Macmillan.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
This is an ex-library book and may have the usual library/used-book markings inside. This book has soft covers. With usual stamps and markings, In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item, 800grams, ISBN: 9780333792841.
