1～6件／全6件 セーフサーチON
  •  
Decidability of Parameterized Verification (Synthesis Lectures on Distributed Computing Theory)
  • 洋書

Decidability of Parameterized Verification (Synthesis Lectures on Distributed Computing Theory)  Paperback,  言語：ENG

Bloem, Roderick/ Jacobs, Swen/ Kalimov, Ayrat

  • ウェブストア価格 ¥11,322（本体¥10,293）
  • Springer International Publishing AG（2015/09発売）
  • ポイント 102pt
  • 海外からお取り寄せ（通常6～9週間）
Hardware and Software: Verification and Testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings (Programming and Software Engineering)
  • 洋書

Hardware and Software: Verification and Testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings (Programming and Software Engineering)  Paperback

Bloem, Roderick (EDT)/ Arbel, Eli (EDT)

  • ウェブストア価格 ¥11,148（本体¥10,135）
  • Springer International Publishing AG（2016/11発売）
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings (Lecture Notes in Computer Science) （2014）
  • 洋書

Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings (Lecture Notes in Computer Science) （2014）  Paperback,  言語：ENG

Biere, Armin (EDT)/ Bloem, Roderick (EDT)

  • ウェブストア価格 ¥22,300（本体¥20,273）
  • Springer International Publishing AG（2014/08発売）
  • ポイント 202pt
  • 海外取次在庫
Trusted Systems : 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings (Security and Cryptology)
  • 洋書

Trusted Systems : 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings (Security and Cryptology)  Paperback,  言語：ENG

Bloem, Roderick (EDT)/ Lipp, Peter (EDT)

  • ウェブストア価格 ¥11,148（本体¥10,135）
  • Springer International Publishing AG（2013/11発売）
  • ポイント 101pt
  • 海外取次在庫
Handbook of Model Checking, 2 Teile （Softcover reprint of the original 1st ed. 2018. 2020. xlviii, 1212 S.）
  • 洋書

Handbook of Model Checking, 2 Teile （Softcover reprint of the original 1st ed. 2018. 2020. xlviii, 1212 S.）  Paperback

Herausgegeben von Clarke, Edmund M./ Henzinger, Thomas A./ Veith, Helmut/ Bloem, Roderick

  • ウェブストア価格 ¥35,341（本体¥32,129）
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;（2020発売）
  • ポイント 321pt
  • 海外からお取り寄せ（通常6～9週間）
Software Verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Software Verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback

Bloem, Roderick (EDT)/ Dimitrova, Rayna (EDT)/ Fan, Chuchu (EDT)

  • ウェブストア価格 ¥12,162（本体¥11,057）
  • Springer Nature Switzerland AG（2022/02発売）
  • ポイント 110pt
  • 海外取次在庫
1～6件／全6件
  •