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

  • ウェブストア価格 ¥12,620(本体¥11,473)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 114pt
  • 海外取次在庫
Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings (Theoretical Computer Science and General Issues) (2013)
  • 洋書

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

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

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/01発売)
  • ポイント 101pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥28,382(本体¥25,802)
  • Springer International Publishing AG(2023/05発売)
  • ポイント 258pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥16,217(本体¥14,743)
  • Springer International Publishing AG(2025/01発売)
  • ポイント 147pt
  • 海外取次在庫