B-method by Steve Schneider
Look inside with Google Book Preview
By Steve Schneider

The B-method

By (author) See other recent books by Steve Schneider
Format: Paperback

Normal Price: $134.95
Your Price: $121.46 AUD, inc. GST
Shipping: $7.95 per order
You Save: $13.49! (10% off normal price)
Plus...earn $6.07 in Boomerang Bucks
Availability: Available Available, ships in 7-10 days

B-method by Steve Schneider

Book 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 * 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
(244mm x 188mm x 20mm)
Pages: 384
Imprint: Palgrave Macmillan
Publisher: Palgrave Macmillan
Publish Date: 19-Oct-2001
Country of Publication: United Kingdom

Books By Author Steve Schneider

Concurrent and Real Time Systems by Steve Schneider Concurrent and Real Time Systems, Paperback (September 1999)

This volume provides an elementary introduction to Communicating Sequential Processes (CSP) and its use as a formal method for understanding concurrency. Examples and exercises are presented throughout to aid teaching and to help motivate students studying this difficult subject.

» View all books by Steve Schneider


» 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 a book 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.

Boomerang Bucks close

For every $20 you spend on books, you will receive $1 in Boomerang Bucks loyalty dollars. You can use your Boomerang Bucks as a credit towards a future purchase from Boomerang Books. Note that you must be a Member (free to sign up) and that conditions do apply.

Recent books by Steve Schneider close
Concurrent and Real Time Systems by Steve Schneider
BoomerangBooks.com.au close