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,571（本体¥15,974）
  • MIT Press（2018/12発売）
  • ポイント 159pt
  • 海外からお取り寄せ（通常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)

  • ウェブストア価格 ¥24,158（本体¥21,962）
  • Springer（2007/04発売）
  • ポイント 219pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥35,192（本体¥31,993）
  • Ios Pr Inc（2016/04発売）
  • ポイント 319pt
  • 海外からお取り寄せ（通常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)

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