Modeling and Analysis of Communicating Systems
  • 洋書
  • ポイントキャンペーン

Modeling and Analysis of Communicating Systems

Groote, Jan Friso/Mousavi, Mohammad Reza

  • MIT Press(2023/05発売)
  • ご注文いただけません
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)  Hardcover

Atif, Muhammad/ Groote, Jan Friso

  • ウェブストア価格 ¥43,645(本体¥39,678)
  • Springer International Publishing AG(2023/02発売)
  • ポイント 1,980pt
  • 海外取次在庫
Modeling and Analysis of Communicating Systems (Modeling and Analysis of Communicating Systems) -- Hardback
  • 洋書
  • ポイントキャンペーン

Modeling and Analysis of Communicating Systems (Modeling and Analysis of Communicating Systems) -- Hardback  Hardcover

Groote, Jan Friso/ Mousavi, Mohammad Reza

  • ウェブストア価格 ¥13,319(本体¥12,109)
  • Mit Press Ltd(2014/08発売)
  • ポイント 605pt
  • 海外からお取り寄せ(通常6~9週間)
Logic Gates, Circuits, Processors, Compilers and Computers
  • 洋書
  • ポイントキャンペーン

Logic Gates, Circuits, Processors, Compilers and Computers  Paperback

Groote, Jan Friso/ Morel, Rolf/ Schmaltz, Julien

  • ウェブストア価格 ¥9,818(本体¥8,926)
  • Springer Nature Switzerland AG(2021/08発売)
  • ポイント 445pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Tales of Electrologica : Computers, Software and People (History of Computing) (2023)
  • 洋書
  • ポイントキャンペーン

Tales of Electrologica : Computers, Software and People (History of Computing) (2023)  Hardcover,  言語:ENG

Alberts, Gerard (EDT)/ Groote, Jan Friso (EDT)

  • ウェブストア価格 ¥8,290(本体¥7,537)
  • Springer International Publishing AG(2023/01発売)
  • ポイント 375pt
  • 海外取次在庫
Tales of Electrologica : Computers, Software and People (History of Computing)
  • 洋書
  • ポイントキャンペーン

Tales of Electrologica : Computers, Software and People (History of Computing)  Paperback

Alberts, Gerard (EDT)/ Groote, Jan Friso (EDT)

  • ウェブストア価格 ¥8,290(本体¥7,537)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 375pt
  • 海外取次在庫
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,715(本体¥39,741)
  • Springer International Publishing AG(2024/02発売)
  • ポイント 1,985pt
  • 海外からお取り寄せ(通常6~9週間)
Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Groote, Jan Friso (EDT)/ Huisman, Marieke (EDT)

  • ウェブストア価格 ¥17,457(本体¥15,870)
  • Springer International Publishing AG(2022/08発売)
  • ポイント 790pt
  • 海外取次在庫
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - Apri
  • 洋書
  • ポイントキャンペーン

Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - Apri  Paperback,  言語:ENG

Groote, Jan Friso (EDT)/ Larsen, Kim Guldstrand (EDT)

  • ウェブストア価格 ¥10,909(本体¥9,918)
  • Springer Nature Switzerland AG(2021/03発売)
  • ポイント 495pt
  • 海外取次在庫
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - Apri
  • 洋書
  • ポイントキャンペーン

Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - Apri  Paperback,  言語:ENG

Groote, Jan Friso (EDT)/ Larsen, Kim Guldstrand (EDT)

  • ウェブストア価格 ¥10,909(本体¥9,918)
  • Springer Nature Switzerland AG(2021/03発売)
  • ポイント 495pt
  • 海外取次在庫