Rigorous Software Development : An Introduction to Program Verification (Undergraduate Topics in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Rigorous Software Development : An Introduction to Program Verification (Undergraduate Topics in Computer Science)  Paperback,  言語:ENG

Almeida, J. B./ Frade, M. J./ Pinto, J. S.

  • ウェブストア価格 ¥8,718(本体¥7,926)
  • Springer(2010/12発売)
  • ポイント 395pt
  • 海外取次在庫