Separation Logic for Multithreaded Object-Oriented Languages : Full-Fledged Verification and Automatic Parallelization of Programs (2010. 200 S. 220 mm)
  • 洋書
  • ポイントキャンペーン

Separation Logic for Multithreaded Object-Oriented Languages : Full-Fledged Verification and Automatic Parallelization of Programs (2010. 200 S. 220 mm)  Paperback

Hurlin, Clé/ment

  • ウェブストア価格 ¥17,794(本体¥16,177)
  • LAP LAMBERT ACADEMIC PUBLISHING(2010発売)
  • ポイント 322pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。