Formal Methods for Multicore Programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures (Programming and Software Engineer (2015)
  • 洋書
  • 電子版あり

Formal Methods for Multicore Programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures (Programming and Software Engineer (2015)  Paperback,  言語:ENG

Bernardo, Marco (EDT)/ Johnsen, Einar Broch (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2015/05発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Methods for Executable Software Models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures (Programming and Software Eng (2014)
  • 洋書

Formal Methods for Executable Software Models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures (Programming and Software Eng (2014)  Paperback,  言語:ENG

Bernardo, Marco (EDT)/ Damiani, Ferruccio (EDT)/ Haehnle, Reiner (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2014/05発売)
  • ポイント 101pt
  • 海外取次在庫
Computer Performance Engineering : 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Spain, September 23-24, 2010, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering 6342) (2010. X, 286 S.)
  • 洋書

Computer Performance Engineering : 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Spain, September 23-24, 2010, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering 6342) (2010. X, 286 S.)  Paperback

Herausgegeben von Aldini, Alessandro/ Bernardo, Marco/ Bononi, Luciano/ Cortellessa, Vittorio

  • ウェブストア価格 ¥12,620(本体¥11,473)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 114pt
  • 海外取次在庫
Formal Methods for Software Architectures (Lecture Notes in Computer Science Vol.2804) (2003. VI, 285 p. w. figs. 23,5 cm)
  • 洋書

Formal Methods for Software Architectures (Lecture Notes in Computer Science Vol.2804) (2003. VI, 285 p. w. figs. 23,5 cm)  Paperback

Ed. by Marco Bernardo and Paola Inverardi

  • ウェブストア価格 ¥12,620(本体¥11,473)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 114pt
  • 海外取次在庫