Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - Apri
  • 洋書
  • ポイントキャンペーン

Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - Apri  Paperback,  言語:ENG

Groote, Jan Friso (EDT)/ Larsen, Kim Guldstrand (EDT)

  • ウェブストア価格 ¥10,769(本体¥9,790)
  • Springer Nature Switzerland AG(2021/03発売)
  • ポイント 194pt
  • 海外取次在庫
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - Apri
  • 洋書
  • ポイントキャンペーン

Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - Apri  Paperback,  言語:ENG

Groote, Jan Friso (EDT)/ Larsen, Kim Guldstrand (EDT)

  • ウェブストア価格 ¥10,769(本体¥9,790)
  • Springer Nature Switzerland AG(2021/03発売)
  • ポイント 194pt
  • 海外取次在庫
Reactive Systems : Modelling, Specification and Verification
  • 洋書
  • ポイントキャンペーン

Reactive Systems : Modelling, Specification and Verification  Hardcover,  言語:ENG

Aceto, Luca/ Ingólfsdóttir, Anna/ Larsen, Kim Guldstrand

  • ウェブストア価格 ¥26,712(本体¥24,284)
  • Cambridge University Press(2007/08発売)
  • ポイント 484pt
  • 海外取次在庫
Principles of Model Checking (Principles of Model Checking)
  • 洋書
  • ポイントキャンペーン

Principles of Model Checking (Principles of Model Checking)  Hardcover,  言語:ENG

Baier, Christel/ Katoen, Joost-Pieter/ Larsen, Kim Guldstrand (FRW)

  • ウェブストア価格 ¥32,313(本体¥29,376)
  • MIT Press(2008/04発売)
  • ポイント 586pt
  • 海外からお取り寄せ(通常6~9週間)
Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

Larsen, Kim Guldstrand (EDT)/ Sokolsky, Oleg (EDT)/ Wang, Ji (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2017/10発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Methods for Industrial Critical Systems : 24th International Conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019, Proceedings (Lecture Notes in Computer Science) (2019)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Formal Methods for Industrial Critical Systems : 24th International Conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019, Proceedings (Lecture Notes in Computer Science) (2019)  Paperback,  言語:ENG

Larsen, Kim Guldstrand (EDT)/ Willemse, Tim (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer Nature Switzerland AG(2019/07発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。