Formal description techniques : proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, 6-9 September, 1988

著者

• International Conference on Formal Description Techniques
• Turner, Kenneth J.
• University of Stirling

書誌事項

Formal description techniques : proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, 6-9 September, 1988

edited by Kenneth J. Turner

North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science Pub., 1989

注記

"Organised by University of Stirling, Scotland"--Half t.p.

Includes bibliographies

詳細情報

• NII書誌ID(NCID): BA06994169
• ISBN:
  • 0444871268
• LCCN: 88029139
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Amsterdam [Netherlands] ; Tokyo,New York, N.Y., U.S.A.
• ページ数/冊数: xvii, 351 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA76.6
  • DC19 : 005.1
• 件名:
  • LCSH : Electronic digital computers -- Programming -- Congresses
  • LCSH : Formal languages -- Congresses