Model checking trace-based information flow properties : For finite state systems and pushdown systems (Aufl. 2012. 64 S.)
  • 洋書

Model checking trace-based information flow properties : For finite state systems and pushdown systems (Aufl. 2012. 64 S.)  Paperback

Kagalavadi Ramesh, Raghavendra/ D'Souza, Deepak/ Sprick, Barbara

  • ウェブストア価格 ¥12,122(本体¥11,020)
  • LAP LAMBERT ACADEMIC PUBLISHING(2012発売)
  • ポイント 110pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。