Communication protocol specification and verification

詳細情報 詳細情報について

• CRID

  1130000796429586688

• NII書誌ID

  BA3914181X

• ISBN

  0792382846

• LCCN

  98039003

• Web Site

  https://lccn.loc.gov/98039003

• 本文言語コード

  en

• 出版国コード

  us

• タイトル言語コード

  en

• 出版地

  • Boston, MA

• 分類

  • LCC: TK5105.55
  • DC21: 004.6/2

• 件名

  • LCSH: Computer network protocols -- Specifications
  • LCSH: Computer programs -- Verification
  • LCSH: LOTOS (Computer program language)

• データソース種別

  • CiNii Books