دانلود کتاب Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
by David Aspinall, Stephen Gilmore (auth.), Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean (eds.)
|
عنوان فارسی: ساخت و ساز و تجزیه و تحلیل امن، ایمن، و دستگاه های هوشمند سازگار: مقالات کارگاه آموزشی بین المللی، نارنگی 2004، مارسی، فرانسه مارس 10-14، 2004، تجدید نظر انتخاب شده |