1～2件／全2件 セーフサーチON
  •  
Formal Methods: Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Formal Methods: Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Cornélio, Márcio (EDT)/ Roscoe, Bill (EDT)

  • ウェブストア価格 ¥9,185（本体¥8,350）
  • Springer International Publishing AG（2016/02発売）
  • ポイント 83pt
  • 海外取次在庫
Formal Methods : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings (Programming and Software Engineering) （2018）
  • 洋書
  • 電子版あり

Formal Methods : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings (Programming and Software Engineering) （2018）  Paperback,  言語：ENG

Havelund, Klaus (EDT)/ Peleska, Jan (EDT)/ Roscoe, Bill (EDT)

  • ウェブストア価格 ¥20,413（本体¥18,558）
  • Springer International Publishing AG（2018/07発売）
  • ポイント 185pt
  • 海外取次在庫
1～2件／全2件
  •