• شماره ركورد
    56535
  • شماره مدرك
    4367153
  • نويسنده/تنالگان
    Mathias Soeken
  • عنوان

    Formal Specification Level - Concepts, Methods, and Algorithms

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