Mathematical methods in program development

著者

• Broy, M.
• Schieder, Birgit
• NATO Advanced Study Institute on Mathematical Methods in Program Development

書誌事項

Mathematical methods in program development

edited by Manfred Broy, Birgit Schieder

（NATO ASI series, Series F . Computer and systems sciences ; v. 158）

Springer, 1997

注記

"Proceedings of the NATO Advanced Study Institute on Mathematical Methods in Program Development, held in Marktoberdorf, Germany, July 30-August 11, 1996"--T.p. verso

Includes bibliographical references

詳細情報

• NII書誌ID(NCID): BA33028111
• ISBN:
  • 354063195X
• LCCN: 97022450
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin
• ページ数/冊数: viii, 528 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA76.6
  • DC21 : 005.1/01/51
• 件名:
  • LCSH : Electronic digital computers -- Programming
  • LCSH : Computer software -- Development -- Mathematical methods
• 親書誌ID:
  • BA00020624