CASL User Manual, w. CD-ROM : Introduction to Using the Common Algebraic Specification Language CASL (Lecture Notes in Computer Science Vol.2900) (2004. XIII, 240 p.)
  • 洋書
  • ポイントキャンペーン

CASL User Manual, w. CD-ROM : Introduction to Using the Common Algebraic Specification Language CASL (Lecture Notes in Computer Science Vol.2900) (2004. XIII, 240 p.)  Paperback

Bidoit, M./ Mosses, P. D.

  • ウェブストア価格 ¥12,135(本体¥11,032)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 220pt
  • 海外取次在庫
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発売)
  • ご注文いただけません