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, June 29 (weekend 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: 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