FM 2016: Formal Methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり

FM 2016: Formal Methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings (Programming and Software Engineering)  Paperback

Fitzgerald, John (EDT)/ Heitmeyer, Constance (EDT)/ Gnesi, Stefania (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer International Publishing AG(2016/11発売)
  • ポイント 110pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Techniques for Distributed Objects, Components, and Systems : 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy,
  • 洋書

Formal Techniques for Distributed Objects, Components, and Systems : 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy,  Paperback

Mousavi, Mohammad Reza (EDT)/ Philippou, Anna (EDT)

  • ウェブストア価格 ¥16,315(本体¥14,832)
  • Springer International Publishing AG(2022/06発売)
  • ポイント 148pt
  • 海外取次在庫