• شماره ركورد
    22436
  • شماره مدرك
    4379514
  • نويسنده/تنالگان
    Maurice H. Beek
  • عنوان

    Web Services and Formal Methods

  • اطلاعات نشر
    Springer
  • سال نشر
    2013
  • شابك
    9783642382291;9783642382307