Items related to Formal Methods in Standards: A Report from the Bcs...
Synopsis
This report was produced by the Formal Methods in Standards Working Group of the British Computer Society. This group was set up to promote the practical application of formal methods in improving the quality of standards used in computer systems and software. The report identifies issues which relate to the introduction of formal methods into the development and expression of standards, and offers general guidelines on the use of formal methods for those working in different standards areas.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Formal Methods in Standards: A Report from the Bcs...
Stock Image
Formal Methods in Standards. A Report from the BCS Working Group
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. 135 pp., paperback, ex library, else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Seller Inventory # ZB391872
Quantity: 1 available
Stock Image
Formal Methods in Standards: A Report from the Bcs Working Group
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.01. Seller Inventory # G0387195777I3N00
Quantity: 1 available
Stock Image
Formal Methods in Standards
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 135. Seller Inventory # 2645370073
Quantity: 1 available
Stock Image
Formal Methods in Standards
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. pp. 135 Illus. Seller Inventory # 46396678
Quantity: 1 available
Stock Image
Formal Methods in Standards
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. pp. 135. Seller Inventory # 1845370067
Quantity: 1 available
Stock Image
Formal Methods in Standards: A Report from the Bcs Working Group
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: Like New. Like New. book. Seller Inventory # ERICA77303871957776
Quantity: 1 available