دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures
دانلود کتاب مدل‌سازی دامنه و محاسبه مدت زمان: مدرسه بین‌المللی آموزش، شانگهای، چین، 17 تا 21 سپتامبر. 2007، سخنرانی های پیشرفته
مشخصات کتاب
Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures
ویرایش: [1 ed.] نویسندگان: Alan Burns, Andy Wellings (auth.), Chris W. George, Zhiming Liu, Jim Woodcock (eds.) سری: Lecture Notes in Computer Science 4710 ISBN (شابک) : 3540749632, 9783540749639 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2007 تعداد صفحات: 240 [245] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 Mb
قیمت کتاب (تومان) : 54,000
در صورت تبدیل فایل کتاب Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدل‌سازی دامنه و محاسبه مدت زمان: مدرسه بین‌المللی آموزش، شانگهای، چین، 17 تا 21 سپتامبر. 2007، سخنرانی های پیشرفته نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مدل‌سازی دامنه و محاسبه مدت زمان: مدرسه بین‌المللی آموزش، شانگهای، چین، 17 تا 21 سپتامبر. 2007، سخنرانی های پیشرفته
این کتاب مقالات آموزشی کاملاً اصلاح شده را بر اساس سخنرانی‌های محققان برجسته در مدرسه بین‌المللی آموزش در مورد مدل‌سازی دامنه و محاسبه مدت زمان ارائه می‌دهد، که در شانگهای، چین، در سپتامبر 2007 به عنوان رویداد مرتبط با ICTAC 2007، چهارمین دوره بین‌المللی برگزار شد. کولوکیوم جنبه های نظری محاسبات.
چهار مقاله آموزشی ارائه شده پوشش مناسبی از امنیت نرم افزار، مدل سازی دامنه مهندسی نرم افزار، و محاسبات مدت زمان برای سیستم های بلادرنگ ارائه می دهد - که از سخنرانی های متخصصان برجسته در این زمینه ها نشات می گیرد. اروپا و آسیا. موضوعاتی که به تفصیل به آنها پرداخته می‌شود عبارتند از: توسعه سیستم‌های بلادرنگ، مهندسی دامنه با استفاده از مدل‌سازی انتزاعی، حوزه محاسبه مدت زمان، و روش‌های رسمی مانند توصیف زبان با استفاده از رویکرد معناشناسی عملیاتی.
توضیحاتی درمورد کتاب به خارجی
This book presents thoroughly revised tutorial papers based on lectures given by leading researchers at the International Training School on Domain Modeling and the Duration Calculus, held in Shanghai, China, in September 2007 as an associated event of ICTAC 2007, the 4th International Colloquium on Theoretical Aspects of Computing.
The four tutorial papers presented provide competent coverage of software security, domain modeling of software engineering, and duration calculus for real time systems - originating from lectures of leading experts in these fields from Europe and Asia. Topics addressed in detail are: development of real-time systems, domain engineering using abstract modeling, the area of duration calculus, and formal methods like language description using the operational semantics approach.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Handbook of Climate Change Adaptation
دانلود کتاب How I Stayed Alive When My Brain Was Trying to Kill Me, Revised Edition: One Person’s Guide to Suicide Prevention
دانلود کتاب Operation Linebacker II 1972: The B-52s are sent to Hanoi
