1～3件／全3件 セーフサーチON
  •  
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)版です。キャンセルは承れません。
Software Engineering for Robotics （2021）
  • 洋書

Software Engineering for Robotics （2021）  Paperback,  言語：ENG

Cavalcanti, Ana (EDT)/ Dongol, Brijesh (EDT)/ Hierons, Rob (EDT)

  • ウェブストア価格 ¥28,182（本体¥25,620）
  • Springer Nature Switzerland AG（2022/07発売）
  • ポイント 256pt
  • 海外取次在庫
Integrated Formal Methods : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings (Programming and Software Engineering)
  • 洋書

Integrated Formal Methods : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings (Programming and Software Engineering)  Paperback,  言語：ENG

Dongol, Brijesh (EDT)/ Troubitsyna, Elena (EDT)

  • ウェブストア価格 ¥11,148（本体¥10,135）
  • Springer Nature Switzerland AG（2020/11発売）
  • ポイント 101pt
  • 海外取次在庫
1～3件／全3件
  •