Verified Software: Theories, Tools, Experiments : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7152) (2012. 2012. XI, 326 S.)
  • 洋書

Verified Software: Theories, Tools, Experiments : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7152) (2012. 2012. XI, 326 S.)  Paperback

Herausgegeben von Joshi, Rajeev/ Mueller, Peter/ Podelski, Andreas

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 120pt
  • 海外取次在庫
Static Analysis : 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Static Analysis : 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Podelski, Andreas (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2018/08発売)
  • ポイント 104pt
  • 海外取次在庫