Piton : A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)
  • 洋書

Piton : A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)  Paperback,  言語:ENG

Moore, J Strother

  • ウェブストア価格 ¥12,310(本体¥11,191)
  • Springer(2013/10発売)
  • ポイント 111pt
  • 海外取次在庫
Formal Verification of Floating-Point Hardware Design : A Mathematical Approach
  • 洋書

Formal Verification of Floating-Point Hardware Design : A Mathematical Approach  Paperback,  言語:ENG

Russinoff, David M./ Moore, J Strother (FRW)

  • ウェブストア価格 ¥22,383(本体¥20,349)
  • Springer Nature Switzerland AG(2019/01発売)
  • ポイント 203pt
  • 海外取次在庫
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
  • 海外取次在庫