1～2件／全2件 セーフサーチON
  •  
Model Based Testing for Real-Time Systems : Conformance Testing of Real-Time Systems Modeled with Partially Observable and Non-Deterministic Timed Automata （2010. 192 S. 220 mm）
  • 洋書

Model Based Testing for Real-Time Systems : Conformance Testing of Real-Time Systems Modeled with Partially Observable and Non-Deterministic Timed Automata （2010. 192 S. 220 mm）  Paperback

Krichen, Moez

  • ウェブストア価格 ¥17,891（本体¥16,265）
  • LAP LAMBERT ACADEMIC PUBLISHING（2010発売）
  • ポイント 162pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Verification and Evaluation of Computer and Communication Systems : 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Verification and Evaluation of Computer and Communication Systems : 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Ben Hedia, Belgacem (EDT)/ Maleh, Yassine (EDT)/ Krichen, Moez (EDT)

  • ウェブストア価格 ¥13,513（本体¥12,285）
  • Springer International Publishing AG（2023/12発売）
  • ポイント 122pt
  • 海外取次在庫
1～2件／全2件
  •