Formal specifications were first used in the description of program� ming languages because of the central role that languages and their compilers play in causing a machine to perform the computations required by a programmer. In a relatively short time, specification notations have found their place in industry and are used for the description of a wide variety of software and hardware systems. A formal method - like VDM - must offer a mathematically-based specification language. On this language rests the other key element of the formal method: the ability to reason about a specification. Proofs can be empioyed in reasoning about the potential behaviour of a system and in the process of showing that the design satisfies the specification. The existence of a formal specification is a prerequisite for the use of proofs; but this prerequisite is not in itself sufficient. Both proofs and programs are large formal texts. Would-be proofs may therefore contain errors in the same way as code. During the difficult but inevitable process of revising specifications and devel� opments, ensuring consistency is a major challenge. It is therefore evident that another requirement - for the successful use of proof techniques in the development of systems from formal descriptions - is the availability of software tools which support the manipu� lation of large bodies of formulae and help the user in the design of the proofs themselves.

"About this title" may belong to another edition of this title.

Store Description

Internet business with occasional book fairs. Some 25,000 books on line. We are interested in purchasing large collections of science, literature and history. We have 25 years experience in the book and antique trade. Every effort is made to describe books accurately. We have a no quibbles guarantee. We are situated in Wigtown, Scotland's National Book Town, in Dumfries and Galloway which is an area of scenic beauty and tranquil countryside.

Visit Seller's Storefront

Association Member

Members of these associations are committed to maintaining the highest standards. They vouch for the authenticity of all items offered for sale. They provide expert and detailed descriptions, disclose all significant defects and/or restorations, provide clear and accurate pricing, and operate with fairness and honesty during the purchase experience.

Seller's business information

Webbooks, Wigtown
25, bladnoch, wigtown, newton stewart, DG8 9AB, United Kingdom

Sale & Shipping Terms

Terms of Sale

VISA MASTERCARD SWITCH CHEQUES IN POUNDS STERLING PAY PAL
We have a no quibbles guarantee.
Company no 04266329

Shipping Terms

Shipping costs are based on books weighing 2.2 LB, or 1 KG, when packed for shipping. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Shipping rates from United Kingdom to U.S.A.

Shipping rates from United Kingdom to U.S.A.
Order quantity	14 to 45 business days	5 to 10 business days
First item	US$ 39.32	US$ 39.32

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.