Understanding Behaviour of Distributed Systems Using mCRL2 (Studies in Systems, Decision and Control)
  • 洋書

Understanding Behaviour of Distributed Systems Using mCRL2 (Studies in Systems, Decision and Control)  Paperback

Atif, Muhammad/ Groote, Jan Friso

  • ウェブストア価格 ¥43,292(本体¥39,357)
  • Springer International Publishing AG(2024/02発売)
  • ポイント 393pt
  • 海外からお取り寄せ(通常6~9週間)