Picture 1 of 1
Gallery
Picture 1 of 1
The B Language and Method: A Guide to Practical Formal Development (Formal Appr
GBP 17.11
ApproximatelyPHP 1,290.18
Condition:
Good
A book that has been read but is in good condition. Very minimal damage to the cover including scuff marks, but no holes or tears. The dust jacket for hard covers may not be included. Binding has minimal wear. The majority of pages are undamaged with minimal creasing or tearing, minimal pencil underlining of text, no highlighting of text, no writing in margins. No missing pages.
2 available
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Shipping:
GBP 7.20 (approx PHP 542.92) Royal Mail International Standard.
Located in: Hertfordshire, United Kingdom
Delivery:
Estimated between Wed, 11 Jun and Wed, 25 Jun
Returns:
30 days return. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.
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:396692895514
Item specifics
- Condition
- Book Title
- The B Language and Method: A Guide to Practical Formal Developmen
- ISBN
- 9783540760337
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
Seller feedback (43,223)
- a***r (985)- Feedback left by buyer.Past monthVerified purchaseFine no problems.
- 7***g (149)- Feedback left by buyer.Past monthVerified purchaseAn old book in good condition and appearance. School books, no matter how old, are always good value for money.
- d***d (362)- Feedback left by buyer.Past monthVerified purchaseperfect thanks