From formal semantics to verified slicing : a modular framework with applications in language based security : Dissertationsschrift (2011. XIX, 203 S. graph. Darst. 21 cm)
  • 洋書
  • ポイントキャンペーン

From formal semantics to verified slicing : a modular framework with applications in language based security : Dissertationsschrift (2011. XIX, 203 S. graph. Darst. 21 cm)  Paperback

Wasserrab, Daniel

  • ウェブストア価格 ¥9,682(本体¥8,802)
  • KIT SCIENTIFIC PUBLISHING(2011発売)
  • ポイント 440pt
  • 海外取次在庫