Software engineering mathematics : formal methods demystified

著者

• Woodcock, James
• Loomes, Martin

書誌事項

Software engineering mathematics : formal methods demystified

Jim Woodcock, Martin Loomes

Pitman, 1988

詳細情報

• NII書誌ID(NCID): BA04404286
• ISBN:
  • 0273026739
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: London
• ページ数/冊数: [7], 291 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA76.6
  • DC19 : 005.13/1
• 件名:
  • PRECIS : Computer systems. Programs. Mathematics
  • LCSH : Electronic digital computers -- Programming
  • LCSH : Electronic data processing -- Mathematics