{ "item_title" : "The B-Method", "item_author" : [" Steve Schneider "], "item_description" : "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 onlineThe 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.", "item_img_path" : "https://covers2.booksamillion.com/covers/bam/0/33/379/284/033379284X_b.jpg", "price_data" : { "retail_price" : "89.99", "online_price" : "89.99", "our_price" : "89.99", "club_price" : "89.99", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }

Overview

Customers Also Bought

Details