• شماره ركورد
    46475
  • شماره مدرك
    4379784
  • نويسنده/تنالگان
    Victor Braberman
  • عنوان

    Formal Modeling and Analysis of Timed Systems

  • اطلاعات نشر
    Springer
  • سال نشر
    2013
  • شابك
    9783642402296;9783642402289
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=26&DC=46475