Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Dongol, Brijesh (EDT)/ Petre, Luigia (EDT)/ Smith, Graeme (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer Nature Switzerland AG(2019/10発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Integrated Formal Methods, IFM 2004 : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004.Proceedings (Lecture Notes in Computer Science Vol.2999) (2004. XI, 541 p. 23,5 cm)
  • 洋書

Integrated Formal Methods, IFM 2004 : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004.Proceedings (Lecture Notes in Computer Science Vol.2999) (2004. XI, 541 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Eerke A. Boiten, John Derrick and Graeme Smith

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