عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
9781441964007
اطلاعات محلی رکورد
نوع مدرک
English Book
عنوان و نام پديدآور
عنوان اصلي
Synthesis of Embedded Softwar
ساير اطلاعات عنواني
Frameworks and Methodologies for Correctness by Construction
نام نخستين پديدآور
edited by Sandeep K. Shukla, Jean-Pierre Talpin
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Boston, MA
نام ناشر، پخش کننده و غيره
Springer Science]Business Media, LLC,
تاریخ نشرو بخش و غیره
2010
مشخصات ظاهری
نام خاص و کميت اثر
v. digital
يادداشت کلی
متن يادداشت
Title
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Engineering
عنصر شناسه ای
Computer aided design
عنصر شناسه ای
Systems engineering
عنصر شناسه ای
Engineering
عنصر شناسه ای
Circuits and Systems
عنصر شناسه ای
Computer-Aided Engineering (CAD, CAE) and Design
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
Shukla, Sandeep K.
نام شخص - ( مسئولیت معنوی درجه دوم )
عنصر شناسه اي
Talpin, Jean-Pierre.
عنصر شناسه اي
SpringerLink (Online service)
