• شماره ركورد
    9384
  • شماره مدرك
    3719750
  • نويسنده/تنالگان
    Boulanger
  • عنوان

    Formal Method: Industrial Used from Model to the Code

  • اطلاعات نشر
    Wiley
  • سال نشر
    2012
  • شابك
    9781118614389