Systems and Software Verification : Model-Checking Techniques and Tools
  • 洋書
  • ポイントキャンペーン

Systems and Software Verification : Model-Checking Techniques and Tools  Paperback

Berard, B./ Bidoit, M./ Finkel, A./ Laroussinie, F./ Petit, A./ Petrucci, L./ Schnoebelen, P./ UEbersetzung: McKenzie, P.

  • Springer(2010/12発売)
  • ご注文いただけません
OPUSCULES MATHEMATIQUES (SCIENCES)
  • 洋書
  • ポイントキャンペーン

OPUSCULES MATHEMATIQUES (SCIENCES)  Paperback

BERARD J-B.

  • ウェブストア価格 ¥4,639(本体¥4,218)
  • HACHETTE BNF(2014/10発売)
  • ポイント 210pt
  • 海外取次在庫