• شماره ركورد
    25977
  • شماره مدرك
    4383937
  • نويسنده/تنالگان
    Elvira Albert
  • عنوان

    Integrated Formal Methods

  • اطلاعات نشر
    Springer
  • سال نشر
    2014
  • شابك
    9783319101804;9783319101811