Fields of Logic and Computation II : Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday (Programming and Software Engineering)
  • 洋書

Fields of Logic and Computation II : Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday (Programming and Software Engineering)  Paperback

Beklemishev, Lev D. (EDT)/ Blass, Andreas (EDT)/ Dershowitz, Nachum (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2015/08発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Model-Driven Engineering Languages and Systems : 17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. Proceedings (Programming and Software Engineering) (2014)
  • 洋書

Model-Driven Engineering Languages and Systems : 17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. Proceedings (Programming and Software Engineering) (2014)  Paperback

Dingel, Juergen (EDT)/ Schulte, Wolfram (EDT)/ Ramos, Isidro (EDT)

  • Springer International Publishing AG(2014/09発売)
  • ご注文いただけません
Formal Methods and Software Engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings (Lecture Notes in Computer Science Vol.3308) (2004. XIII, 500 p. 23,5 cm)
  • 洋書

Formal Methods and Software Engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings (Lecture Notes in Computer Science Vol.3308) (2004. XIII, 500 p. 23,5 cm)  Hardcover,  言語:ENG

Ed. by Jim Davies, Wolfram Schulte a. Mike Barnett

  • ウェブストア価格 ¥26,314(本体¥23,922)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 239pt
  • 海外取次在庫