• شماره ركورد
    59527
  • شماره مدرك
    4399986
  • نويسنده/تنالگان
    Roopak Sinha
  • عنوان

    Correct-by-Construction Approaches for SoC Design

  • اطلاعات نشر
    Springer
  • سال نشر
    2014
  • شابك
    9781461478645;9781461478638