1～3件／全3件 セーフサーチON
  •  
On the Pursuit of Insight and Elegance : Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday (Lecture Notes in Computer Science 14765) （2026. x, 155 S. X, 155 p. 23 illus. 235 mm）
  • 洋書
  • 予約

On the Pursuit of Insight and Elegance : Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday (Lecture Notes in Computer Science 14765) （2026. x, 155 S. X, 155 p. 23 illus. 235 mm）  Paperback,  言語：ENG

Herausgegeben:Dietsch, Daniel/ Rybalchenko, Andrey/ Schaef, Martin/ Wies, Thomas

  • ウェブストア価格 ¥13,920（本体¥12,655）
  • SPRINGER, BERLIN; SPRINGER（2026/04発売）
  • ポイント 126pt
  • ご予約受付中。出版後の入荷・発送
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,155（本体¥11,050）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2014/01発売）
  • ポイント 110pt
  • 海外取次在庫
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

  • ウェブストア価格 ¥13,920（本体¥12,655）
  • SPRINGER, BERLIN（2012発売）
  • ポイント 126pt
  • 海外取次在庫
1～3件／全3件
  •