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

  • Springer International Publishing AG(2024/07発売)
  • ご注文いただけません
Tests and Proofs : 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings (Lecture Notes in Computer Science) (2025)
  • 洋書

Tests and Proofs : 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings (Lecture Notes in Computer Science) (2025)  Paperback

Huisman, Marieke (EDT)/ Howar, Falk (EDT)

  • ウェブストア価格 ¥29,367(本体¥26,698)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 266pt
  • 海外取次在庫
ソフトウェア認証コンサイスガイド(テキスト)<br>Concise Guide to Software Verification : From Model Checking to Annotation Checking (Texts in Computer Science) (2023. 2023. ix, 248 S. IX, 248 p. 146 illus., 127 illus. in color. 235)
  • 洋書

ソフトウェア認証コンサイスガイド(テキスト)
Concise Guide to Software Verification : From Model Checking to Annotation Checking (Texts in Computer Science) (2023. 2023. ix, 248 S. IX, 248 p. 146 illus., 127 illus. in color. 235)
 Hardcover,  言語:ENG

Huisman, Marieke/Wijs, Anton

  • ウェブストア価格 ¥21,173(本体¥19,249)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2023発売)
  • ポイント 192pt
  • 海外からお取り寄せ(通常6~9週間)
Formal Techniques for Distributed Objects, Components, and Systems : 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portug
  • 洋書

Formal Techniques for Distributed Objects, Components, and Systems : 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portug  Paperback

Huisman, Marieke (EDT)/ Ravara, António (EDT)

  • ウェブストア価格 ¥16,780(本体¥15,255)
  • Springer International Publishing AG(2023/06発売)
  • ポイント 152pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥16,780(本体¥15,255)
  • Springer International Publishing AG(2022/08発売)
  • ポイント 152pt
  • 海外取次在庫
Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings (Programming and Software Engineering)
  • 洋書

Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings (Programming and Software Engineering)  Paperback

Huisman, Marieke (EDT)/ Păsăreanu, Corina (EDT)/ Zhan, Naijun (EDT)

  • ウェブストア価格 ¥25,172(本体¥22,884)
  • Springer Nature Switzerland AG(2021/11発売)
  • ポイント 228pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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,387(本体¥8,534)
  • Saint Philip Street Press(2020/10発売)
  • ポイント 85pt
  • オンデマンド(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

  • ウェブストア価格 ¥11,786(本体¥10,715)
  • Saint Philip Street Press(2020/10発売)
  • ポイント 107pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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)

  • ウェブストア価格 ¥12,585(本体¥11,441)
  • Springer Nature Switzerland AG(2019/04発売)
  • ポイント 114pt
  • オンデマンド(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)

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