Synopsis
Formal Methods in Standards Identifies issues which relate to the introduction of formal methods into the development and expression of standards used in computer systems and software. The book offers 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. *Price HAS BEEN REDUCED by 10% until Monday, Mar 20 (SALE item)* 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
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
Stock Image
Formal Methods in Standards
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. pp. 135 Illus. Seller Inventory # 46396678
Buy New
£ 68.78
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Formal Methods in Standards
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. pp. 135. Seller Inventory # 1845370067
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. SHIPS FROM MULTIPLE LOCATIONS. book. Seller Inventory # ERICA77303871957776