• شماره ركورد
    30218
  • شماره مدرك
    4379834
  • نويسنده/تنالگان
    Elena Giachino
  • عنوان

    Formal Methods for Components and Objects

  • اطلاعات نشر
    Springer
  • سال نشر
    2013
  • شابك
    9783642406140;9783642406157