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発売)
  • ご注文いただけません