The Formal description technique Estelle : results of the ESPRIT SEDOS Project

著者

• Diaz, Michel

書誌事項

The Formal description technique Estelle : results of the ESPRIT SEDOS Project

edited by Michel Diaz ... [et al.]

North-Holland, 1989

タイトル別名

Estelle

注記

Includes index

詳細情報

• NII書誌ID(NCID): BA06691597
• ISBN:
  • 0444871322
• LCCN: 88031026
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Amsterdam ; Tokyo
• ページ数/冊数: 439 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA76.9.D5
  • DC19 : 005.1/2
• 件名:
  • LCSH : Electronic data processing -- Distributed processing
  • LCSH : ESPRIT SEDOS Project
  • LCSH : System design