CASL user manual : introduction to using the Common Algebraic Specification Language

著者

• Bidoit, M. (Michel)
• Mosses, Peter D.

書誌事項

CASL user manual : introduction to using the Common Algebraic Specification Language

Michel Bidoit, Peter D. Mosses ; with chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki

（Lecture notes in computer science, 2900）

Springer, c2004

注記

Includes bibliographical references and index

詳細情報

• NII書誌ID(NCID): BA66129704
• ISBN:
  • 354020766X
• LCCN: 2004041653
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin ; Tokyo
• ページ数/冊数: xiii, 240 p.
• 大きさ: 24 cm
• 付属資料: 1 CD-ROM
• 分類:
  • LCC : QA76.73.C158
  • DC22 : 005.13/3
• 件名:
  • LCSH : CASL (Computer program language)
• 親書誌ID:
  • BA00009279