The Foundations of Program Verification (Series in Computer Science) (2. Aufl. 2013. ix, 230 S. 1 Farbabb. 229 mm)
  • 洋書

The Foundations of Program Verification (Series in Computer Science) (2. Aufl. 2013. ix, 230 S. 1 Farbabb. 229 mm)  Paperback,  言語:GER

Sieber, Kurt/ Mitarbeit: Loeckx, Jacques/ Stansifer, Ryan

  • ウェブストア価格 ¥6,413(本体¥5,938)
  • VIEWEG+TEUBNER(2013発売)
  • ポイント 59pt
  • 海外取次在庫