Formal Methods: Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり

Formal Methods: Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings (Programming and Software Engineering)  Paperback

Ribeiro, Leila (EDT)/ Lecomte, Thierry (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/11発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Methods Teaching : 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書

Formal Methods Teaching : 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback

Sekerinski, Emil (EDT)/ Ribeiro, Leila (EDT)

  • ウェブストア価格 ¥9,374(本体¥8,522)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 85pt
  • 海外取次在庫