Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV (Lecture Notes in Computer Science)

  • 予約

Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV (Lecture Notes in Computer Science)

  • ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す
  • 製本 Paperback:紙装版/ペーパーバック版／ページ数 422 p.
  • 言語 ENG
  • 商品コード 9783031986840

最近チェックした商品

Indigenous Supply Chain Management in Africa : Theory and Practice (Palgrave Studies in Equity, Diversity, Inclusion, and Indigenization in Business)
  • 洋書
Indigenous Supply C…
Numerical Solution of Stochastic Differential Equations with Jumps in Finance (Stochastic Modelling and Applied Probability)
  • 洋書
Numerical Solution …
Möglichkeit Mensch : Körper | Sphären | Apparaturen. Künstlerische und wissenschaftliche Perspektiven. Katalog zum Ausstellungsprojekt im Zeppelin Museum Friedrichshafen （2017. 216 S. Mit 98 Farb- u. 9 S/W-Abbildungen. 24.5 cm）
  • 洋書
Möglichkeit Me…
興福寺創建期の研究
  • 和書
興福寺創建期の研究
沖縄・読谷村憲法力がつくりだす平和と自治 - 新版・憲法を実践する村
  • 和書
沖縄・読谷村憲法力がつくりだす平和と自…