Formal methods Pacific '97 : proceedings of FMP '97, 9-11 July 1997, Wellington, New Zealand

著者

• Formal Methods Pasific
• Groves, Lindsay
• Reeves, Steve

書誌事項

Formal methods Pacific '97 : proceedings of FMP '97, 9-11 July 1997, Wellington, New Zealand

Lindsay Groves, Steve Reeves (editors)

（Springer series in discrete mathematics and theoretical computer science）

Springer, c1997

• : pbk

注記

Includes bibliographical references and index

詳細情報

• NII書誌ID(NCID): BA34175654
• ISBN:
  • 981308331X
• 出版国コード: si
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Singapore ; Tokyo
• ページ数/冊数: viii, 320 p.
• 大きさ: 24 cm
• 親書誌ID:
  • BA34176828