دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Proceedings
دانلود کتاب استفاده از روش‌های رسمی: تست، عملکرد و تجارت الکترونیکی: FORTE 2004 کارگاه آموزشی FormEMC، EPEW، ITM، تولدو، اسپانیا، 1-2 اکتبر 2004. مجموعه مقالات
مشخصات کتاب
Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Proceedings
ویرایش: [1 ed.] نویسندگان: Chun Ouyang, Jonathan Billington (auth.), Manuel Núñez, Zakaria Maamar, Fernando L. Pelayo, Key Pousttchi, Fernando Rubio (eds.) سری: Lecture Notes in Computer Science 3236 ISBN (شابک) : 3540231692 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2004 تعداد صفحات: 379 [391] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 Mb
قیمت کتاب (تومان) : 40,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب استفاده از روش‌های رسمی: تست، عملکرد و تجارت الکترونیکی: FORTE 2004 کارگاه آموزشی FormEMC، EPEW، ITM، تولدو، اسپانیا، 1-2 اکتبر 2004. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب استفاده از روش‌های رسمی: تست، عملکرد و تجارت الکترونیکی: FORTE 2004 کارگاه آموزشی FormEMC، EPEW، ITM، تولدو، اسپانیا، 1-2 اکتبر 2004. مجموعه مقالات
این کتاب مجموعه مقالات داوری مشترک اولین کارگاه بین‌المللی در زمینه تئوری‌سازی و روش‌های رسمی در تجارت الکترونیک/سیار، TheFormEMC، اولین کارگاه مهندسی عملکرد اروپا، EPEW، و اولین کارگاه بین‌المللی ادغام روش‌های تست، ITM است. ، به طور مشترک با FORTE 2004 در تولدو، اسپانیا، در اکتبر 2004 برگزار شد.
27 مقاله کامل اصلاح شده ارائه شده به دقت بررسی و از مجموع 62 مورد ارسالی انتخاب شدند. مقالات در سه بخش موضوعی مرتبط با موضوعات کارگاه گروه بندی شده اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the joint refereed proceedings of the First International Workshop on Theory Building and Formal Methods in Electronic/Mobile Commerce, TheFormEMC, the first European Performance Engineering Workshop, EPEW, and the First International Workshop on Integration of Testing Methodologies, ITM, held jointly in association with FORTE 2004 in Toledo, Spain, in October 2004.
The 27 revised full papers presented were carefully reviewed and selected from a total of 62 submissions. The papers are grouped in three topical sections corresponding to the workshop topics.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Gastrointestinal Imaging: The Requisites (Requisites in Radiology) 3rd ed
دانلود کتاب Lehninger Principles of biochemistry
