Picture 1 of 1
Gallery
Picture 1 of 1
The B Language and Method: A Guide to Practical Formal Development (Formal Appr
£17.11
Condition:
Good
A book that has been read, but is in good condition. Minimal damage to the book cover eg. scuff marks, but no holes or tears. If this is a hard cover, the dust jacket may be missing. Binding has minimal wear. The majority of pages are undamaged with some creasing or tearing, and pencil underlining of text, but this is minimal. No highlighting of text, no writing in the margins, and no missing pages. See the seller’s listing for full details and description of any imperfections.
2 available
- Buy it nowThe B Language and Method: A Guide to Practical Formal Development (Formal Appr
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Postage:
£7.20 Royal Mail International Standard.
Located in: Hertfordshire, United Kingdom
Delivery:
Estimated between Wed, 11 Jun and Wed, 25 Jun to 94104
Returns:
30 days return. Buyer pays for return postage. If you use an eBay delivery label, it will be deducted from your refund amount.
Payments:
Get more time to pay. See payment informationfor PayPal Credit - opens in a new window or tab
Shop with confidence
Seller assumes all responsibility for this listing.
eBay item number:396692895514
Item specifics
- Condition
- Book Title
- The B Language and Method: A Guide to Practical Formal Developmen
- ISBN
- 9783540760337
- Publication Name
- The B Language and Method: a Guide to Practical Formal Development
- Publisher
- Springer-Verlag Berlin AND Heidelberg Gmbh & Co. KG
- Subject
- Computer Science
- Publication Year
- 1996
- Series
- Formal Approaches to Computing and Information Technology (Facit)
- Type
- Textbook
- Format
- Paperback
- Language
- English
- Item Height
- 235 mm
- Item Weight
- 376 g
- Item Width
- 155 mm
- Number of Pages
- 232 Pages
About this product
Product Information
B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. This volume provides a comprehensive introduction to the B Abstract Machine Notation, and to how it can be used to support formal specification and development of high integrity systems. A strong emphasis is placed on the use of B in the context of existing software development methods, including object-oriented analysis and design. The text includes a large number of worked examples, graduated exercises in B AMN specification and development (all of which have been class-tested), two extended case studies of the development process, and an appendix of proof techniques suitable for B. Based on material which has been used to teach B at postgraduate and undergraduate level, this volume will provide invaluable reading a wide range of people, including students, project technical managers and workers, and researchers with an interest in methods integration and B semantics.
Product Identifiers
Publisher
Springer-Verlag Berlin AND Heidelberg Gmbh & Co. KG
ISBN-13
9783540760337
eBay Product ID (ePID)
89714519
Product Key Features
Number of Pages
232 Pages
Publication Name
The B Language and Method: a Guide to Practical Formal Development
Language
English
Subject
Computer Science
Publication Year
1996
Type
Textbook
Series
Formal Approaches to Computing and Information Technology (Facit)
Format
Paperback
Dimensions
Item Height
235 mm
Item Weight
376 g
Item Width
155 mm
Additional Product Features
Country/Region of Manufacture
Germany
Item description from the seller
Seller business information
VAT number: GB 858 5123 06
CRN: 04924751
About this seller
Phatpocket Book Shoppe
99.2% positive Feedback•120K items sold
Registered as a business seller
Popular categories from this shop
Seller Feedback (43,223)
- r***x (261)- Feedback left by buyer.Past 6 monthsVerified purchaseItem exactly as described (incredibly good shape for a former library book). Great packaging, very fast shipping. Excellent communication. A+ eBay seller, one of eBay's finest! Looking forward to doing business with you again."They Thought It Was a Marvel": Arthur Melbourne-Cooper (1874-1961), Pioneer of (#156497108265)
- p***r (690)- Feedback left by buyer.Past 6 monthsVerified purchaseExcellent service from this seller. Book was delivered quickly and was very well packed. It was exactly as described, and in very good condition. Thank you.
- o***2 (56)- Feedback left by buyer.Past 6 monthsVerified purchaseItem arrived promptly, securely packed, and in fair condition as advertised. A reliable vendor.
More to explore:
- Revision/Practice School Textbooks & Study Guides,
- Revision/Practice Paperback School Textbooks & Study Guides,
- Revision/Practice English School Textbooks & Study Guides,
- HarperCollins Revision/Practice Paperback School Textbooks & Study Guides,
- Revision/Practice Paperback School Textbooks & Study Guides in English,
- Language Study School Textbooks & Study Guides in English,
- Practical Motorist Magazines,
- Practical Wireless Magazines,
- Practical Woodworking Magazines,
- Personal Development Biography and Autobiography