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

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