Formal Methods: Foundations and Applications : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings (Programming and Software Engineering)
  • 洋書

Formal Methods: Foundations and Applications : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

Carvalho, Gustavo (EDT)/ Stolz, Volker (EDT)

  • ウェブストア価格 ¥15,175(本体¥13,796)
  • Springer Nature Switzerland AG(2020/11発売)
  • ポイント 137pt
  • 海外取次在庫