• شماره ركورد
    23132
  • شماره مدرك
    4383878
  • نويسنده/تنالگان
    Armin Biere
  • عنوان

    Computer Aided Verification

  • اطلاعات نشر
    Springer
  • سال نشر
    2014
  • شابك
    9783319088679;9783319088662