Computer-Aided Reasoning : An Approach (Advances in Formal Methods) (Softcover Reprint of the Origi)
  • 洋書

Computer-Aided Reasoning : An Approach (Advances in Formal Methods) (Softcover Reprint of the Origi)  Paperback,  言語:ENG

Kaufmann, Matt/ Manolios, Panagiotis/ Moore, J. Strother

  • ウェブストア価格 ¥69,342(本体¥63,039)
  • Springer-Verlag New York Inc.(2012/10発売)
  • ポイント 630pt
  • 海外からお取り寄せ(通常6~9週間)
Computer-aided Reasoning : Acl2 Case Studies (Advances in Formal Methods)
  • 洋書

Computer-aided Reasoning : Acl2 Case Studies (Advances in Formal Methods)  Paperback,  言語:ENG

Kaufmann, Matt/ Manolios, Panagiotis/ Moore, J. Strother

  • ウェブストア価格 ¥49,249(本体¥44,772)
  • Springer(2010/12発売)
  • ポイント 447pt
  • 海外取次在庫