Using formal description techniques : an introduction to Estelle, LOTOS and SDL

著者

• Turner, Kenneth J.

書誌事項

Using formal description techniques : an introduction to Estelle, LOTOS and SDL

edited by Kenneth J. Turner

（Wiley series in communication and distributed systems）

Wiley, c1993

注記

Includes bibliographical references (p. 409-416) and indexes

詳細情報

• NII書誌ID(NCID): BA19077718
• ISBN:
  • 0471934550
• LCCN: 92036619
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Chichester [England] ; New York
• ページ数/冊数: xxviii, 431 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA76.6
  • DC20 : 004.6
• 件名:
  • LCSH : Electronic digital computers -- Programming
  • LCSH : Formal languages
• 親書誌ID:
  • BA06870111