The B Language and Method: A Guide to Practical Formal Development (Formal Approaches to Computing and Information Technology (FACIT))
Huge Savings Item! Save 16% on the The B Language and Method: A Guide to Practical Formal Development (Formal Approaches to Computing and Information Technology (FACIT)) by Springer at Translate This Website. MPN: biography. Hurry! Limited time offer. Offer valid only while supplies last. B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification
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.
|Item Weight:||0.76 pounds|
|Item Size:||0.55 x 9.25 x 9.25 inches|
|Package Weight:||0.83 pounds|
|Package Size:||6.1 x 0.55 x 0.55 inches|
Have questions about this item, or would like to inquire about a custom or bulk order?
If you have any questions about this product by Springer, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.
Related Best Sellers
ean: 9780847860036, isbn: 0847860035,
Warm, inviting, embracing the indoor-outdoor lifestyle with a touch of the exotic, tropical modern homes are a dream of paradise realized. Contemporary tropical residential architecture has risen from a geographically specific homegrown aesthetic to ...
By Floris Books
ean: 9781782504320, isbn: 178250432X,
The 2018 Maria Thun Biodynamic Calendar, now in its 56th year, adapted for North American (Eastern Standard Time) dates and times. This useful guide shows the optimum days for sowing, pruning, and harvesting various plant-crops, as well as working wi...
By Floris Books
ean: 9781782505181, isbn: 9781782505181,
Sells 100,000 copies in France every year! Whether you're growing delicious vegetables for home cooking or cultivating beautiful flowers, a flourishing plot fills any gardener with joy and satisfaction. Every gardener knows there's no magic spell for...
By Andesite Press
mpn: black & white illustrations, ean: 9781296665197, isbn: 1296665194,
This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefo...
mpn: 15 illustrations, ean: 9781910232057, isbn: 191023205X,
An exquisitely illustrated, lively exploration of Latin plant names explaining the meanings behind hundreds of names, from vulgaris ("common") to mirabilis ("extraordinary") Every gardener needs to know their Latin names. They may look confusing at f...
By Brand: Workman Publishing Company
ean: 9780761120667, isbn: 0761120661,
Tussie-Mussies reacquaints readers with the complex and delightful language of flowers, and the art of making them speak through Victorian "talking bouquets" called tussie-mussies. Now Tussie-Mussies is available in a stunning paperback edition. A ce...
By Brand: Heart to Heart Pub
mpn: illustrations, ean: 9780974280691, isbn: 0974280690,
In this charming and informative book the reader catches a glimpse into a past era when a lady's fan was employed to send messages of enticement,love,rejection and more,without uttering a word. Flowers also inparted silent meanings to their recipient...
sku: 1000930332, ean: 9780517574607, isbn: 0517574608,
Penhaligon's fourth and most exquisite gift volume focuses on the romance of flowers. Each flower's meaning is described through passages and captivating illustrations. 45 full-color illustrations....
By Applewood Books
ean: 9781557093844, isbn: 1557093849,
This colorful Victorian book evokes an age gone by, before the days of email and overnight shipping, when communication between people was a very special occasion, made more difficult by time and space. To Victorian letter-writers of the West a new, ...
By Timber Press, Incorporated
ean: 9780881925562, isbn: 088192556X,
In this book Stearn gives the meaning and origin of some 6000 botanical names, selecting those most likely to be encountered by gardeners and horticulturists. No other single source provides so much etymological information for the gardener, the resu...