The B-Method (Cornerstones of Computing)

3 avg rating
( 4 ratings by Goodreads )
 
9780333792841: The B-Method (Cornerstones of Computing)

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.

"synopsis" may belong to another edition of this title.

About the Author:

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.

Review:

'For a typically structured UK third year, one-semester undergraduate course, Steve Schneider's book with its supporting material offers a product that a lecturer can simply take out of the box and use directly. The completeness and thoroughness of coverage are very impressive, and the clarity of the exposition is exceptional. This book could go a long way towards making the B-Method more accessible to a wider range of computer science students than has been the case hitherto, and I can recommend it with enthusiasm.' - Richard Banach, Manchester University, The Journal of Software Testing, Verification and Reliability

"About this title" may belong to another edition of this title.

Buy New View Book
List Price: US$ 89.99
US$ 78.88

Convert Currency

Shipping: FREE
From United Kingdom to U.S.A.

Destination, Rates & Speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

Steve Schneider
Published by Palgrave MacMillan, United Kingdom (2001)
ISBN 10: 033379284X ISBN 13: 9780333792841
New Paperback Quantity Available: 1
Seller:
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description Palgrave MacMillan, United Kingdom, 2001. Paperback. Book Condition: New. Language: English . Brand New Book. 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 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. Bookseller Inventory # AAU9780333792841

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 78.88
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

2.

Steve Schneider
Published by Palgrave MacMillan, United Kingdom (2001)
ISBN 10: 033379284X ISBN 13: 9780333792841
New Paperback Quantity Available: 1
Seller:
The Book Depository US
(London, United Kingdom)
Rating
[?]

Book Description Palgrave MacMillan, United Kingdom, 2001. Paperback. Book Condition: New. Language: English . Brand New Book. 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 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. Bookseller Inventory # AAU9780333792841

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 81.89
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

3.

Schneider, Steve
Published by Palgrave Macmillan (2001)
ISBN 10: 033379284X ISBN 13: 9780333792841
New Softcover Quantity Available: 1
Rating
[?]

Book Description Palgrave Macmillan, 2001. Book Condition: New. This is a textbook introduction to the B-Method, a rigorous methodology for the development of correct software, underpinned by powerful state-of-the-art tool support. It assumes no prior knowledge and is written in a tutorial style. Series: Cornerstones of Computing. Num Pages: 384 pages, 62 illustrations. BIC Classification: UMZ. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 245 x 189 x 23. Weight in Grams: 742. . 2001. Paperback. . . . . . Bookseller Inventory # V9780333792841

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 81.96
Convert Currency

Add to Basket

Shipping: FREE
From Ireland to U.S.A.
Destination, Rates & Speeds

4.

Schneider, Steve
Published by Palgrave Macmillan
ISBN 10: 033379284X ISBN 13: 9780333792841
New Softcover Quantity Available: 1
Seller:
Kennys Bookstore
(Olney, MD, U.S.A.)
Rating
[?]

Book Description Palgrave Macmillan. Book Condition: New. This is a textbook introduction to the B-Method, a rigorous methodology for the development of correct software, underpinned by powerful state-of-the-art tool support. It assumes no prior knowledge and is written in a tutorial style. Series: Cornerstones of Computing. Num Pages: 384 pages, 62 illustrations. BIC Classification: UMZ. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 245 x 189 x 23. Weight in Grams: 742. . 2001. Paperback. . . . . Books ship from the US and Ireland. Bookseller Inventory # V9780333792841

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 83.27
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

5.

Dr Steve Schneider
Published by Palgrave Macmillan
ISBN 10: 033379284X ISBN 13: 9780333792841
New Paperback Quantity Available: 1
Seller:
THE SAINT BOOKSTORE
(Southport, United Kingdom)
Rating
[?]

Book Description Palgrave Macmillan. Paperback. Book Condition: New. New copy - Usually dispatched within 2 working days. Bookseller Inventory # B9780333792841

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 74.13
Convert Currency

Add to Basket

Shipping: US$ 9.17
From United Kingdom to U.S.A.
Destination, Rates & Speeds

6.

Dr Steve Schneider
Published by Palgrave Macmillan (2001)
ISBN 10: 033379284X ISBN 13: 9780333792841
New Softcover Quantity Available: 1
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Palgrave Macmillan, 2001. Book Condition: New. book. Bookseller Inventory # ria9780333792841_rkm

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 79.07
Convert Currency

Add to Basket

Shipping: US$ 5.12
From United Kingdom to U.S.A.
Destination, Rates & Speeds

7.

Schneider, Steve
Published by Palgrave Macmillan (2001)
ISBN 10: 033379284X ISBN 13: 9780333792841
New Quantity Available: 1
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Palgrave Macmillan, 2001. PAP. Book Condition: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Bookseller Inventory # BB-9780333792841

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 72.75
Convert Currency

Add to Basket

Shipping: US$ 11.90
From United Kingdom to U.S.A.
Destination, Rates & Speeds

8.

Steve Schneider
Published by Palgrave (2001)
ISBN 10: 033379284X ISBN 13: 9780333792841
New Softcover Quantity Available: 1
Seller:
Rating
[?]

Book Description Palgrave, 2001. Book Condition: New. Bookseller Inventory # EH9780333792841

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 93.58
Convert Currency

Add to Basket

Shipping: US$ 3.53
From Germany to U.S.A.
Destination, Rates & Speeds

9.

Schneider S.
Published by Palgrave Macmillan (2001)
ISBN 10: 033379284X ISBN 13: 9780333792841
New Paperback Quantity Available: 1
Seller:
Revaluation Books
(Exeter, United Kingdom)
Rating
[?]

Book Description Palgrave Macmillan, 2001. Paperback. Book Condition: Brand New. 384 pages. 9.50x7.50x1.00 inches. In Stock. Bookseller Inventory # __033379284X

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 100.47
Convert Currency

Add to Basket

Shipping: US$ 7.93
From United Kingdom to U.S.A.
Destination, Rates & Speeds

10.

Steve Schneider
ISBN 10: 033379284X ISBN 13: 9780333792841
New Paperback Quantity Available: 1
Seller:
Grand Eagle Retail
(Wilmington, DE, U.S.A.)
Rating
[?]

Book Description 2001. Paperback. Book Condition: New. Paperback. This is a textbook introduction to the B-Method, a rigorous methodology for the development of correct software, underpinned by powerful state-of-the-art tool support. It covers the B appr.Shipping may be from multiple locations in the US or from the UK, depending on stock availability. 384 pages. 0.740. Bookseller Inventory # 9780333792841

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 118.98
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book