Items related to Formal Methods in Standards: A Report from the Bcs...

Formal Methods in Standards: A Report from the Bcs Working Group - Softcover

 
9780387195773: Formal Methods in Standards: A Report from the Bcs Working Group

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.