Formal methods in standards : a report from the BCS Working Group

出版社:London ; New York : Springer-Verlag, 1990.
ISBN:0387195777
出版年:1990
作者:Ruggles,C. L. N.
资源类型:图书
细分类型:西文文献
相关推荐

Automatic weather stations : report of a working group of the Commission for Instruments and Methods

  • 作者:Treussart,H.98012
  • 出版社:[S.l.] [s.n.] c1963.
  • 出版年:1963

Radioactive waste disposal into Atlantic and Gulf coastal waters : a report from a working group of

  • 作者:National Research Council.
  • 出版社:Washington : National Academy of Sciences-National Research Council, 1959.
  • 出版年:1959

The training of astronauts : report of a working group conference

  • 作者:Armed Forces-NRC Committee on Bio-astronautics.
  • 出版社:Washington : National Academy of Sciences-National Research Council, 1961.
  • 出版年:1961

Use of weather radar for aviation; report by a working group.

  • 作者:World Meteorological Organization.
  • 出版社:Geneva, Secretariat of the World Meteorological Organization, 1970.
  • 出版年:1970

Estimation of maximum floods : report of a working group of the Commission for Hydrometeorology.

  • 作者:World Meteorological Organization.
  • 出版社:Geneva : World Meteorological Organization, 1969.
  • 出版年:1969