Program development by refinement : case studies using the B method

著者

• Sekerinski, E. (Emil)
• Sere, K. (Kaisa)

書誌事項

Program development by refinement : case studies using the B method

E. Sekerinski and K. Sere (eds.)

（Formal approaches to computing and information technology (FACIT)）

Springer-Verlag, c1999

• : pbk

注記

Includes bibliographical references

• NII書誌ID(NCID): BA39054158
• ISBN:
  • 1852330538
• LCCN: 98025801
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: London
• ページ数/冊数: xxiv, 334 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA76.73.B155
  • DC21 : 005.13/3
• 件名:
  • LCSH : B (Computer program language)
• 親書誌ID:
  • BA2187111X