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

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