|Listed in category:
This item is out of stock.
Postage and deliveryClick "see details" for additional shipping and returns information.
Have one to sell?

The B-method (Cornerstones of computing) By Steve Schneider

GBP 3.50
ApproximatelyRM 19.34
Condition:
Very Good
Postage:
GBP 8.99 (approx RM 49.67) Standard Int'l Postage.
Located in: South East, United Kingdom
Delivery:
Estimated between Wed, 2 Oct and Tue, 15 Oct to 43230
Estimated delivery dates - opens in a new window or tab include seller's handling time, origin ZIP Code, destination ZIP Code and time of acceptance and will depend on shipping service selected and receipt of cleared paymentcleared payment - opens in a new window or tab. Delivery times may vary, especially during peak periods.
Seller ships within 1 day after receiving cleared payment.
Returns:
30 days return. Buyer pays for return shipping.
Coverage:
Read item description or contact seller for details. See all detailsSee all details on coverage
(Not eligible for eBay purchase protection programmes)
Seller assumes all responsibility for this listing.
eBay item number:125909359269
Last updated on Jun 02, 2024 14:30:38 MYTView all revisionsView all revisions

Item specifics

Condition
Very Good: A book that has been read but is in excellent condition. No obvious damage to the cover, ...
Title
The B-Method (Cornerstones of Computing)
ISBN
9780333792841
Publication Year
2001
Series
Cornerstones of Computing
Type
Textbook
Format
Paperback
Language
English
Publication Name
The B-Method
Item Height
246 mm
Author
Steve Schneider
Publisher
Palgrave Macmillan
Subject
Computer Science
Item Width
189 mm
Number of Pages
384 Pages

About this product

Product Information

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 approach to software development from specification through refinement, down to implementation and automatic code generation, with verification at each stage. The book assumes no prior knowledge and is written in a tutorial style, containing numerous illustrative examples, exercises and self tests with answers. It also comes with a free licence for the B Toolkit.

Product Identifiers

Publisher
Palgrave Macmillan
ISBN-13
9780333792841
eBay Product ID (ePID)
90818366

Product Key Features

Number of Pages
384 Pages
Language
English
Publication Name
The B-Method
Publication Year
2001
Subject
Computer Science
Type
Textbook
Author
Steve Schneider
Series
Cornerstones of Computing
Format
Paperback

Dimensions

Item Height
246 mm
Item Width
189 mm

Additional Product Features

Country/Region of Manufacture
United Kingdom
Title_Author
Steve Schneider

Item description from the seller

Business seller information

Value Added Tax Number:
  • GB 724498118
baham_books

baham_books

99.2% positive feedback
9.5M items sold
Joined Aug 2011

Detailed Seller Ratings

Average for the last 12 months
Accurate description
4.9
Reasonable shipping cost
5.0
Shipping speed
5.0
Communication
4.9

Seller feedback (3,053,498)