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

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