booktheque

Formal Methods in Standards

C. L. N. Ruggles · 1990

Where to buy

Check today’s price on Amazon. We do not show prices because they change daily.

View on Amazon

Affiliate link. As an Amazon Associate we earn from qualifying purchases.

About the book

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.

Book details

Year
1990
Language
English
Publisher
Springer London
Editions
1
Pages
135
ISBN
9781447134190

Data source: Wikidata

More by C. L. N. Ruggles

Ancient astronomy
C. L. N. Ruggles · 2005
Handbook of Archaeoastronomy and Ethnoastronomy
C. L. N. Ruggles · 2014
Heritage Sites of Astronomy and Archaeoastronomy in the context of the UNESCO World Heritage Convention
C. L. N. Ruggles · 2012
Records in Stone
C. L. N. Ruggles · 2003
Astronomies and Cultures
C. L. N. Ruggles · 1993
Formal Methods in Standards
C. L. N. Ruggles · 1990
Formal methods in standards
C. L. N. Ruggles · 1990
Archaeoastronomy in the 1990s
C. L. N. Ruggles · 1993