• شماره ركورد
    17547
  • شماره مدرك
    3719434
  • نويسنده/تنالگان
    Gnesi
  • عنوان

    Formal Methods for Industrial Critical Systems: A Survey of Applications

  • اطلاعات نشر
    Wiley
  • سال نشر
    2012
  • شابك
    9780470876183
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=26&DC=17547