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

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

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

  • ウェブストア価格 ¥11,451(本体¥10,410)
  • VIEWEG+TEUBNER; VIEWEG+TEUBNER VERLAG(2013発売)
  • ポイント 104pt
  • 海外取次在庫