Automated Theorem Proving in Software Engineering
  • 洋書

Automated Theorem Proving in Software Engineering  Paperback

Schumann, Johann M./ Vorwort: Loveland, D.

  • Springer(2010/12発売)
  • ご注文いただけません