Proof Assistants and Their Applications in Mathematics and Computer Science (Computer Science Foundations and Applied Logic)
  • 洋書

Proof Assistants and Their Applications in Mathematics and Computer Science (Computer Science Foundations and Applied Logic)  Hardcover,  言語:ENG

Blanchette, JasminEDT/ Mahboubi, AssiaEDT

  • ウェブストア価格 ¥21,226(本体¥19,297)
  • Springer, Berlin; Springer(2026発売)
  • ポイント 192pt
  • 海外からお取り寄せ(通常6~9週間)