• شماره ركورد
    55611
  • شماره مدرك
    4401131
  • نويسنده/تنالگان
    Bruno Berstel-Da Silva
  • عنوان

    Verification of Business Rules Programs

  • اطلاعات نشر
    Springer
  • سال نشر
    2014
  • شابك
    9783642400384;9783642400377