Formal Techniques for Distributed Systems (Lecture Notes in Computer Science / Programming and Software Engineering .7273) (2012. 2012. XIII, 269 S.)
  • 洋書

Formal Techniques for Distributed Systems (Lecture Notes in Computer Science / Programming and Software Engineering .7273) (2012. 2012. XIII, 269 S.)  Paperback

Herausgegeben von Giese, Holger/ Rosu, Grigore

  • ウェブストア価格 ¥12,697(本体¥11,543)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 115pt
  • 海外取次在庫
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceeding
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceeding  Paperback,  言語:ENG

Fisman, Dana (EDT)/ Rosu, Grigore (EDT)

  • ウェブストア価格 ¥10,205(本体¥9,278)
  • Springer Nature Switzerland AG(2022/03発売)
  • ポイント 92pt
  • 海外取次在庫
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceeding
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceeding  Paperback,  言語:ENG

Fisman, Dana (EDT)/ Rosu, Grigore (EDT)

  • ウェブストア価格 ¥10,205(本体¥9,278)
  • Springer Nature Switzerland AG(2022/03発売)
  • ポイント 92pt
  • 海外取次在庫
Model Checking Software : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Model Checking Software : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Legunsen, Owolabi (EDT)/ Rosu, Grigore (EDT)

  • ウェブストア価格 ¥22,455(本体¥20,414)
  • Springer International Publishing AG(2022/08発売)
  • ポイント 204pt
  • 海外取次在庫