1300 36 33 32

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 * Associated teaching materials to be found at www.palgrave.com/resources 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.

Buy B-method book by Steve Schneider from Australia's Online Bookstore, Boomerang Books.

Book Details

ISBN: 9780333792841
ISBN-10: 033379284X
Format: Paperback
(246mm x 189mm x 20mm)
Pages: 384
Imprint: Palgrave Macmillan
Publisher: Palgrave Macmillan
Publish Date: 19-Oct-2001
Country of Publication: United Kingdom

Reviews

» Have you read this book? We'd like to know what you think about it - write a review about B-method book by Steve Schneider and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a member - it's free to sign up!)

Write Review


Author Biography - Steve Schneider

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.

Books By Author Steve Schneider

Concurrent and Real Time Systems by Steve Schneider

Concurrent and Real Time Systems

Paperback, September 1999
$116.96