Back to home page
|Listed in category:

Picture 1 of 1

The B Language and Method: A Guide to Practical Formal Development by Kevin ... - Picture 1 of 1
Have one to sell?
Sell it yourself

The B Language and Method: A Guide to Practical Formal Development by Kevin ...

wordery_specialist
(613672)
Registered as a business seller
Seller's other items
Contact seller
£44.99
Condition:
New
4 available
Breathe easy. Returns accepted.
Postage:
Doesn't post to United States.
Located in: Farnborough, United Kingdom
Delivery:
Varies
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:
    Diners Club

Shop with confidence

eBay Money Back Guarantee
Get the item you ordered or your money back. Learn moreeBay Money Back Guarantee - opens new window or tab
Report this item - opens in new window or tab
Seller assumes all responsibility for this listing.
eBay item number:335545192471

Item specifics

Condition
New: A new, unread, unused book in perfect condition with no missing or damaged pages. See the ...
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
Author
Kevin Lano
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
Author
Kevin Lano
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
Title_Author
Kevin Lano

Item description from the seller

Seller business information

I certify that all my selling activities will comply with all EU laws and regulations.
VAT number: AU 300032812682, CA 716415153RT0001, CH CHE-164366562MWST, GB 108277024, IE IM3720012380, NZ 142898551
CRN: 00610095
About this seller

wordery_specialist

99% positive Feedback•1.7M items sold

Joined Jan 2014
Registered as a business seller
Wordery is one of the UK's largest online independent book retailers. Founded in 2012 to be a true alternative bookselling option, we strive to offer the right books at the lowest price with the best ...
See more
Visit ShopContact

Detailed seller ratings

Average for the last 12 months
Accurate description
4.9
Reasonable postage cost
5.0
Delivery time
4.7
Communication
4.9

Popular categories from this shop

See allcategories
Books, Comics & MagazinesToys & GamesBusiness, Office & IndustrialMusicBaby

Seller Feedback (673,501)

All ratings
Positive
Neutral
Negative
  • k***l (97)- Feedback left by buyer.
    Past 6 months
    Verified purchase
    Item arrived well packaged and on time. The condition was as described and the quality appeared perfect. The value was fantastic and I am very happy with my purchase. The seller was kind and took time to answer the few questions I had. I am very impressed with the set which looks awesome, and am more than happy with the seller, and would buy again.
    The Complete Rot & Ruin Collection (Boxed Set) Rot & Ruin; Dust... 97814 (#316327057038)
  • 5***o (1537)- Feedback left by buyer.
    Past 6 months
    Verified purchase
    A very interesting book at a very reasonable price. Exactly as described and a good price. Posted quickly and packed extremely well seller communicates well and provides a great service so I will buy from them again and recommend them highly.
    Denial of Justice Dorothy Kilgallen, Abuse of Power, and the Mo... 9781642930580 (#316399474976)
  • _***r (141)- Feedback left by buyer.
    Past month
    Verified purchase
    This is a seller I have no hesitation in recommending and I would purchase from them again. The item was exactly as described and very well packaged. The item was not delivered within the suggested time frame but this was most definitely not the fault of the seller. The seller responded to my query of the delayed delivery politely, promptly and professionally.
    Crooked Cross by Sally Carson 9781910263426 | Brand New | Free UK Shipping (#316775140117)
See all Feedback

More to explore: