Static Analysis : 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Static Analysis : 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback

Giacobazzi, Roberto (EDT)/ Gorla, Alessandra (EDT)

  • ウェブストア価格 ¥17,118(本体¥15,562)
  • Springer International Publishing AG(2025/01発売)
  • ポイント 310pt
  • 海外取次在庫
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)  Paperback

Lopez-Garcia, Pedro (EDT)/ Gallagher, John P. (EDT)/ Giacobazzi, Roberto (EDT)

  • ウェブストア価格 ¥29,959(本体¥27,236)
  • Springer International Publishing AG(2023/05発売)
  • ポイント 544pt
  • 海外取次在庫
Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書
  • ポイントキャンペーン

Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Giacobazzi, Roberto (EDT)/ Berdine, Josh (EDT)/ Mastroeni, Isabella (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/01発売)
  • ポイント 212pt
  • 海外取次在庫
Static Analysis, SAS 2004 : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings (Lecture Notes in Computer Science Vol.3148) (2004. XI, 393 p. 23,5 cm)
  • 洋書
  • ポイントキャンペーン

Static Analysis, SAS 2004 : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings (Lecture Notes in Computer Science Vol.3148) (2004. XI, 393 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Roberto Giacobazzi

  • ウェブストア価格 ¥13,538(本体¥12,308)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 246pt
  • 海外取次在庫