1～3件／全3件 セーフサーチON
  •  
Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Prevosto, Virgile (EDT)/ Seceleanu, Cristina (EDT)

  • ウェブストア価格 ¥11,380（本体¥10,346）
  • Springer International Publishing AG（2023/07発売）
  • ポイント 103pt
  • 海外取次在庫
Engineering of Computer-Based Systems : 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Engineering of Computer-Based Systems : 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Kofroň, Jan (EDT)/ Margaria, Tiziana (EDT)/ Seceleanu, Cristina (EDT)

  • ウェブストア価格 ¥14,485（本体¥13,169）
  • Springer International Publishing AG（2023/11発売）
  • ポイント 131pt
  • 海外取次在庫
Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin,
  • 洋書
  • 電子版あり

Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin,  Paperback

Petrucci, Laure (EDT)/ Seceleanu, Cristina (EDT)/ Cavalcanti, Ana (EDT)

  • ウェブストア価格 ¥11,380（本体¥10,346）
  • Springer International Publishing AG（2017/08発売）
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
1～3件／全3件
  •