Formal Methods - the Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり

Formal Methods - the Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

ter Beek, Maurice H. (EDT)/ McIver, Annabelle (EDT)/ Oliveira, José N. (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2019/09発売)
  • ポイント 109pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Quantitative Evaluation of Systems : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Quantitative Evaluation of Systems : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings (Lecture Notes in Computer Science)  Paperback

McIver, Annabelle (EDT)/ Horvath, Andras (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2018/08発売)
  • ポイント 109pt
  • 海外取次在庫