B Language And Method: A Guide To Practical Formal Development; Author: Lano, K.; Paperback

Musical Supplies

Perfumes/Cosmetics

English Books > Computer > Application Software - General > B Language And Method: A Guide To Practical Formal Development

<< PREVIOUS TITLE | NEXT TITLE >> <<NEW RELEASES >>

B Language And Method: A Guide To Practical Formal Development

Author: Lano, K.
Advances in Industrial Control; Paperback; 34 Figures, 2 Tables
232 pages
Published: May 1996
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 3540760334
This item non-returnable. Order may not be canceled.

This volume presents an introduction to the B Abstract Machine Notation, and how it can be used to support formal specification and development of high integrity systems. Emphasis is placed on the use of B in the context of existing software development methods.

Purchase this item (Product Code: 3540760334)

SurfStoreUSA

The NetStoreUSA website is operated by Open Communications, Inc
an Arizona corporation, which has successfully served
the Internet community since 1994.

Copyright Š 2008 Open Communications, Inc
ŽOpen Communications is a Registered Trade Mark.
This material may be freely distributed ONLY with full reference to Open Communications Inc,
including fax, phone, e-mail, and world-wide web details.
This material is an invitation to treat and not an offer.
We reserve the right to decline orders received from this site.
Prices subject to change to be advised on confirmation of order.
Not all titles listed are in print.
Home Page: http://www.NetStoreUSA.com/
Site Map

Affiliates Coop