Guide to Software Verification with Frama-C : Core Components, Usages, and Applications (Computer Science Foundations and Applied Logic)
  • 洋書

Guide to Software Verification with Frama-C : Core Components, Usages, and Applications (Computer Science Foundations and Applied Logic)  Paperback,  言語:ENG

Kosmatov, Nikolai (EDT)/ Prevosto, Virgile (EDT)/ Signoles, Julien (EDT)

  • Springer International Publishing AG(2025/07発売)
  • ご注文いただけません
Guide to Software Verification with Frama-C : Core Components, Usages, and Applications (Computer Science Foundations and Applied Logic) (2024)
  • 洋書

Guide to Software Verification with Frama-C : Core Components, Usages, and Applications (Computer Science Foundations and Applied Logic) (2024)  Hardcover

Kosmatov, Nikolai (EDT)/ Prevosto, Virgile (EDT)/ Signoles, Julien (EDT)

  • ウェブストア価格 ¥15,471(本体¥14,065)
  • Springer International Publishing AG(2024/07発売)
  • ポイント 140pt
  • 海外取次在庫
Tests and Proofs : 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings (Lecture Notes in Computer Science) (2015)
  • 洋書

Tests and Proofs : 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings (Lecture Notes in Computer Science) (2015)  Paperback,  言語:ENG

Blanchette, Jasmin Christian (EDT)/ Kosmatov, Nikolai (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer International Publishing AG(2015/07発売)
  • ポイント 110pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Testing Software and Systems : 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり

Testing Software and Systems : 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

Gaston, Christophe (EDT)/ Kosmatov, Nikolai (EDT)/ Le Gall, Pascale (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer Nature Switzerland AG(2019/09発売)
  • ポイント 110pt
  • 海外取次在庫
Integrated Formal Methods : 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings (Lecture Notes in Computer Science) (2025)
  • 洋書
  • 電子版あり

Integrated Formal Methods : 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings (Lecture Notes in Computer Science) (2025)  Paperback

Kosmatov, Nikolai (EDT)/ Kovács, Laura (EDT)

  • ウェブストア価格 ¥31,214(本体¥28,377)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 283pt
  • 海外からお取り寄せ(通常6~9週間)