Teaching and learning formal methods

著者

• Dean, C. Neville
• Hinchey, Michael G. (Michael Gerard)

書誌事項

Teaching and learning formal methods

edited by C. Neville Dean and Michael G. Hinchey

（Academic Press international series in formal methods）

Academic, c1996

• : pbk

注記

Includes bibliographical references and index

詳細情報

• NII書誌ID(NCID): BA28741280
• ISBN:
  • 0123490405
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: London
• ページ数/冊数: xvi, 285 p.
• 大きさ: 23 cm
• 分類:
  • DC20 : 004.07
• 件名:
  • LCSH : System design -- Study and teaching
  • LCSH : Computer software -- Development -- Study and teaching
• 親書誌ID:
  • BA2874135X