1～6件／全6件 セーフサーチON
  •  
モデル検査（第２版）<br>Model Checking (Cyber Physical Systems Series) （2ND）
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

モデル検査（第２版）
Model Checking (Cyber Physical Systems Series) （2ND）  Hardcover,  言語：ENG

Jr., Edmund M. Clarke/ Grumberg, Orna/ Kroening, Daniel

  • ウェブストア価格 ¥17,120（本体¥15,564）
  • MIT Press（2018/12発売）
  • ポイント 310pt
  • 海外からお取り寄せ（通常6～9週間）
Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, Tacas 2007. Lecture Notes in Computer Science, Volume 4424. (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, Tacas 2007. Lecture Notes in Computer Science, Volume 4424. (Lecture Notes in Computer Science)  言語：ENG

Grumberg, Orna (EDT)/ Huth, Michael (EDT)

  • Springer（2007/01発売）
  • ご注文いただけません
モデル検査法の２５年（LNCS 5000巻記念論文集)<br>25 Years of Model Checking : History, Achievements, Perspectives (Lecture Notes in Computer Science) 〈Vol. 5000〉
  • 洋書
  • ポイントキャンペーン

モデル検査法の２５年（LNCS 5000巻記念論文集)
25 Years of Model Checking : History, Achievements, Perspectives (Lecture Notes in Computer Science) 〈Vol. 5000〉  Hardcover

Grumberg, Orna (EDT)/ Veith, Helmut (EDT)

  • Springer（2008発売）
  • ご注文いただけません
Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science) 〈Vol. 4424〉
  • 洋書
  • ポイントキャンペーン

Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science) 〈Vol. 4424〉  Paperback,  言語：ENG

Grumberg, Orna (EDT)/ Huth, Michael (EDT)

  • ウェブストア価格 ¥23,538（本体¥21,399）
  • Springer（2007/04発売）
  • ポイント 426pt
  • 海外取次在庫
Dependable Software Systems Engineering (NATO Science for Peace and Security - D: Information and Communication Security)
  • 洋書
  • ポイントキャンペーン

Dependable Software Systems Engineering (NATO Science for Peace and Security - D: Information and Communication Security)  Hardcover,  言語：ENG

Esparza, Javier (EDT)/ Grumberg, Orna (EDT)/ Sickert, Salomon (EDT)

  • ウェブストア価格 ¥33,876（本体¥30,797）
  • Ios Pr Inc（2016/04発売）
  • ポイント 614pt
  • 海外からお取り寄せ（通常6～9週間）
Logics and Languages for Reliability and Security (NATO Science for Peace and Security Series D: Information and Communication Security)
  • 洋書
  • ポイントキャンペーン

Logics and Languages for Reliability and Security (NATO Science for Peace and Security Series D: Information and Communication Security)  Hardcover,  言語：ENG

Esparza, Javier (EDT)/ Spanfelner, Bernd (EDT)/ Grumberg, Orna (EDT)

  • ウェブストア価格 ¥33,803（本体¥30,730）
  • IOS Press（2010/03発売）
  • ポイント 614pt
  • 海外からお取り寄せ（通常6～9週間）
1～6件／全6件
  •