• شماره ركورد
    12298
  • شماره مدرك
    4364117
  • نويسنده/تنالگان
    Susanne Graf
  • عنوان

    Formal Techniques for Distributed Objects, Components, and Systems - 35th IFIP WG 6.1 International Conference, FORTE 2015

  • اطلاعات نشر
    Springer
  • سال نشر
    2015
  • شابك
    3319191942