• شماره ركورد
    46206
  • شماره مدرك
    4382063
  • نويسنده/تنالگان
    Christiano Braga
  • عنوان

    Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015, Revised Selected Papers

  • اطلاعات نشر
    Springer
  • سال نشر
    2016
  • شابك
    9783319289335 ; 9783319289335 ; 9783319289335 ; 9783319289335 ; 9783319289342 ; 9783319289342 ; 9783319289342 ; 9783319289342