The Formal description technique Lotos : results of the ESPRIT/SEDOS Project

著者

• Eijk, Peter H. J. van
• Vissers, Chris A.
• Diaz, Michel

書誌事項

The Formal description technique Lotos : results of the ESPRIT/SEDOS Project

edited by Peter H.J. van Eijk, Chris A. Vissers, Michel Diaz

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

注記

Includes bibliographies

詳細情報

• NII書誌ID(NCID): BA06991466
• ISBN:
  • 0444872671
• LCCN: 88037407
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Amsterdam ; New York,New York, N.Y.
• ページ数/冊数: x, 451 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA76.9.D5
  • DC19 : 004/.36
• 件名:
  • LCSH : Electronic data processing -- Distributed processing
  • LCSH : ESPRIT/SEDOS Project
  • LCSH : System design