Kevin Lano

(Author)

The B Language and Method: A Guide to Practical Formal Development (Softcover Reprint of the Original 1st 1996)Paperback - Softcover Reprint of the Original 1st 1996, 14 May 1996

The B Language and Method: A Guide to Practical Formal Development (Softcover Reprint of the Original 1st 1996)
Qty
1
Turbo
Ships in 2 - 3 days
In Stock
Free Delivery
Cash on Delivery
15 Days
Free Returns
Secure Checkout
Buy More, Save More
Turbo Shipping
Part of Series
Formal Approaches to Computing and Information Technology (F
Part of Series
Advances in Industrial Control
Print Length
232 pages
Language
English
Publisher
Springer
Date Published
14 May 1996
ISBN-10
3540760334
ISBN-13
9783540760337

Description

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 Details

Author:
Kevin Lano
Book Edition:
Softcover Reprint of the Original 1st 1996
Book Format:
Paperback
Country of Origin:
US
Date Published:
14 May 1996
Dimensions:
23.39 x 15.6 x 1.3 cm
ISBN-10:
3540760334
ISBN-13:
9783540760337
Language:
English
Location:
London
Pages:
232
Publisher:
Weight:
344.73 gm

Related Categories


Need Help?
+971 6 731 0280
support@gzb.ae

About UsContact UsPayment MethodsFAQsShipping PolicyRefund and ReturnTerms of UsePrivacy PolicyCookie Notice

VisaMastercardCash on Delivery

© 2024 White Lion General Trading LLC. All rights reserved.