Concise Guide to Software Verification : From Model Checking to Annotation Checking (Texts in Computer Science) (2023)
  • 洋書
  • ポイントキャンペーン

Concise Guide to Software Verification : From Model Checking to Annotation Checking (Texts in Computer Science) (2023)  Paperback,  言語:ENG

Huisman, Marieke/ Wijs, Anton

  • ウェブストア価格 ¥15,387(本体¥13,989)
  • Springer International Publishing AG(2024/07発売)
  • ポイント 695pt
  • 海外からお取り寄せ(通常6~9週間)
ソフトウェア認証コンサイスガイド(テキスト)<br>Concise Guide to Software Verification : From Model Checking to Annotation Checking (Texts in Computer Science)
  • 洋書
  • ポイントキャンペーン

ソフトウェア認証コンサイスガイド(テキスト)
Concise Guide to Software Verification : From Model Checking to Annotation Checking (Texts in Computer Science)
 Hardcover,  言語:ENG

Huisman, Marieke/ Wijs, Anton

  • ウェブストア価格 ¥22,397(本体¥20,361)
  • Springer, Berlin; Springer(2023発売)
  • ポイント 1,015pt
  • 海外からお取り寄せ(通常6~9週間)
Tools and Algorithms for the Construction and Analysis of Systems
  • 洋書
  • ポイントキャンペーン

Tools and Algorithms for the Construction and Analysis of Systems  Paperback

Steffen, Bernhard/ Kordon, Fabrice/ Huisman, Marieke

  • ウェブストア価格 ¥9,702(本体¥8,820)
  • Saint Philip Street Press(2020/10発売)
  • ポイント 440pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Tools and Algorithms for the Construction and Analysis of Systems
  • 洋書
  • ポイントキャンペーン

Tools and Algorithms for the Construction and Analysis of Systems  Hardcover

Steffen, Bernhard/ Kordon, Fabrice/ Huisman, Marieke

  • ウェブストア価格 ¥12,182(本体¥11,075)
  • Saint Philip Street Press(2020/10発売)
  • ポイント 550pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Integrated Formal Methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Integrated Formal Methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

Ábrahám, Erika (EDT)/ Huisman, Marieke (EDT)

  • ウェブストア価格 ¥19,511(本体¥17,738)
  • Springer International Publishing AG(2016/05発売)
  • ポイント 885pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Groote, Jan Friso (EDT)/ Huisman, Marieke (EDT)

  • ウェブストア価格 ¥17,343(本体¥15,767)
  • Springer International Publishing AG(2022/08発売)
  • ポイント 785pt
  • 海外取次在庫
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : Second International Workshop, Cassis 2005, Nice, France, March 8-11, 200
  • 洋書
  • ポイントキャンペーン

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : Second International Workshop, Cassis 2005, Nice, France, March 8-11, 200  Paperback,  言語:ENG

Barthe, Gilles (EDT)/ Gregoire, Benjamin (EDT)/ Huisman, Marieke (EDT)

  • ウェブストア価格 ¥11,922(本体¥10,839)
  • Springer-Verlag New York Inc(2006/05発売)
  • ポイント 540pt
  • 海外取次在庫
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III (Lecture Notes in Computer Science) (2019)
  • 洋書
  • ポイントキャンペーン

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III (Lecture Notes in Computer Science) (2019)  Paperback,  言語:ENG

Beyer, Dirk (EDT)/ Huisman, Marieke (EDT)/ Kordon, Fabrice (EDT)

  • ウェブストア価格 ¥13,007(本体¥11,825)
  • Springer Nature Switzerland AG(2019/04発売)
  • ポイント 590pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Pro (2018)
  • 洋書
  • ポイントキャンペーン

Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Pro (2018)  Paperback,  言語:ENG

Beyer, Dirk (EDT)/ Huisman, Marieke (EDT)

  • ウェブストア価格 ¥13,007(本体¥11,825)
  • Springer International Publishing AG(2018/04発売)
  • ポイント 590pt
  • 海外取次在庫
Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Pro
  • 洋書
  • ポイントキャンペーン

Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Pro  Paperback,  言語:ENG

Beyer, Dirk (EDT)/ Huisman, Marieke (EDT)

  • ウェブストア価格 ¥13,007(本体¥11,825)
  • Springer International Publishing AG(2018/04発売)
  • ポイント 590pt
  • 海外取次在庫