On the Pursuit of Insight and Elegance : Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

On the Pursuit of Insight and Elegance : Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Dietsch, Daniel (EDT)/ Rybalchenko, Andrey (EDT)/ Schäf, Martin (EDT)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer Nature Switzerland AG(2026/01発売)
  • ポイント 545pt
  • 海外取次在庫
Verified Software: Theorie, Tools, Experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers (Programming and Software Engineering) (2014)
  • 洋書
  • ポイントキャンペーン

Verified Software: Theorie, Tools, Experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers (Programming and Software Engineering) (2014)  Paperback,  言語:ENG

Cohen, Ernie (EDT)/ Rybalchenko, Andrey (EDT)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/01発売)
  • ポイント 545pt
  • 海外取次在庫
Verification, Model Checking, and Abstract Interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7148) (2012. 2012. X, 457 S.)
  • 洋書
  • ポイントキャンペーン

Verification, Model Checking, and Abstract Interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7148) (2012. 2012. X, 457 S.)  Paperback

Herausgegeben von Kuncak, Viktor/ Rybalchenko, Andrey

  • ウェブストア価格 ¥14,150(本体¥12,864)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 640pt
  • 海外取次在庫