Integrated Formal Methods : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings (Programming and Software Engineering) (2014)
  • 洋書

Integrated Formal Methods : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings (Programming and Software Engineering) (2014)  Paperback

Albert, Elvira (EDT)/ Sekerinski, Emil (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2014/09発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I (Lecture Notes in Computer Science)
  • 洋書

Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I (Lecture Notes in Computer Science)  Paperback

Sekerinski, Emil (EDT)/ Moreira, Nelma (EDT)/ Oliveira, José N. (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer Nature Switzerland AG(2020/08発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II (Lecture Notes in Computer Science)
  • 洋書

Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II (Lecture Notes in Computer Science)  Paperback

Sekerinski, Emil (EDT)/ Moreira, Nelma (EDT)/ Oliveira, José N. (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer Nature Switzerland AG(2020/08発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。