1～3件／全3件 セーフサーチON
  •  
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)

  • ウェブストア価格 ¥16,217（本体¥14,743）
  • Springer International Publishing AG（2022/08発売）
  • ポイント 147pt
  • 海外取次在庫
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,135（本体¥9,214）
  • Springer Nature Switzerland AG（2021/03発売）
  • ポイント 92pt
  • 海外取次在庫
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,135（本体¥9,214）
  • Springer Nature Switzerland AG（2021/03発売）
  • ポイント 92pt
  • 海外取次在庫
1～3件／全3件
  •