Verification of Sequential and Concurrent Programs (Texts in Computer Science) (3RD)
  • 洋書
  • ポイントキャンペーン

Verification of Sequential and Concurrent Programs (Texts in Computer Science) (3RD)  Paperback,  言語:ENG

Apt, Krzysztof R./ De Boer, Frank S./ Olderog, Ernst-Rudiger/ Pnueli,

  • ウェブストア価格 ¥19,639(本体¥17,854)
  • Springer-Verlag New York Inc(2012/03発売)
  • ポイント 890pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。