Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Theoretical Computer Science and General Issues) (2013)
  • 洋書

Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Theoretical Computer Science and General Issues) (2013)  Paperback,  言語:ENG

Blazy, Sandrine (EDT)/ Paulin-Mohring, Christine (EDT)/ Pichardie, David (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/07発売)
  • ポイント 104pt
  • 海外取次在庫
Static Analysis : 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Static Analysis : 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Pichardie, David (EDT)/ Sighireanu, Mihaela (EDT)

  • ウェブストア価格 ¥16,668(本体¥15,153)
  • Springer Nature Switzerland AG(2021/01発売)
  • ポイント 151pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。