verification
محاسبات علمی با تأیید خودکار نتایج
دانلود کتاب Scientific Computing with Automatic Result Verification (به فارسی: محاسبات علمی با تأیید خودکار نتایج) نوشته شده توسط «E. Adams and U. Kulisch (Eds.)» اطلاعات کتاب محاسبات علمی با تأیید خودکار نتایج موضوع اصلی: ریاضیات محاسباتی نوع: کتاب الکترونیکی ناشر: Academic Press نویسنده: E. Adams and U. Kulisch (Eds.) زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1993 تعداد صفحه: iii-x, 1-612 حجم کتاب: 4 مگابایت کد کتاب: 9780120442102 , 0120442108 توضیحات کتاب محاسبات علمی با تأیید خودکار نتایج مجموعه ای از مقالات در مورد پیشرفت اخیر در توسعه برنامه های کاربردی عددی با…
تکنیک های مقیاس پذیر برای تأیید رسمی
دانلود کتاب Scalable Techniques for Formal Verification (به فارسی: تکنیک های مقیاس پذیر برای تأیید رسمی) نوشته شده توسط «Sandip Ray (auth.)» اطلاعات کتاب تکنیک های مقیاس پذیر برای تأیید رسمی موضوع اصلی: 1 نوع: کتاب الکترونیکی ناشر: Springer US نویسنده: Sandip Ray (auth.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2010 تعداد صفحه: 243 حجم کتاب: 3 مگابایت کد کتاب: 1441959971 , 9781441959973 نوبت چاپ: 1 توضیحات کتاب تکنیک های مقیاس پذیر برای تأیید رسمی این کتاب در مورد تأیید رسمی است، یعنی استفاده از استدلال ریاضی برای اطمینان از اجرای صحیح سیستم‌های…
تایید زمان اجرا: نهمین کارگاه بین المللی، RV 2009، گرنوبل، فرانسه، 26-28 ژوئن 2009. مقالات برگزیده
دانلود کتاب Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers (به فارسی: تایید زمان اجرا: نهمین کارگاه بین المللی، RV 2009، گرنوبل، فرانسه، 26-28 ژوئن 2009. مقالات برگزیده) نوشته شده توسط «Howard Barringer – Klaus Havelund – David Rydeheard – Alex Groce (auth.) – Saddek Bensalem – Doron A. Peled (eds.)» اطلاعات کتاب تایید زمان اجرا: نهمین کارگاه بین المللی، RV 2009، گرنوبل، فرانسه، 26-28 ژوئن 2009. مقالات برگزیده موضوع اصلی: فن آوری نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Howard Barringer – Klaus Havelund – David Rydeheard – Alex Groce (auth.) –…
تأیید، بررسی مدل، و تفسیر چکیده: یازدهمین کنفرانس بین المللی، VMCAI 2010، مادرید، اسپانیا، 17-19 ژانویه 2010، مجموعه مقالات (سخنرانی … علوم کامپیوتر و مسائل عمومی)
دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings (Lecture … Computer Science and General Issues) (به فارسی: تأیید، بررسی مدل، و تفسیر چکیده: یازدهمین کنفرانس بین المللی، VMCAI 2010، مادرید، اسپانیا، 17-19 ژانویه 2010، مجموعه مقالات (سخنرانی … علوم کامپیوتر و مسائل عمومی)) نوشته شده توسط «Gilles Barthe – Manuel Hermenegildo» اطلاعات کتاب تأیید، بررسی مدل، و تفسیر چکیده: یازدهمین کنفرانس بین المللی، VMCAI 2010، مادرید، اسپانیا، 17-19 ژانویه 2010، مجموعه مقالات (سخنرانی … علوم کامپیوتر و مسائل عمومی) موضوع اصلی: کنفرانس ها و سمپوزیوم های بین المللی نوع:…
تأیید ASIC و FPGA: راهنمای مدل‌سازی مؤلفه
دانلود کتاب ASIC and FPGA Verification: A Guide to Component Modeling (به فارسی: تأیید ASIC و FPGA: راهنمای مدل‌سازی مؤلفه) نوشته شده توسط «Richard Munden» اطلاعات کتاب تأیید ASIC و FPGA: راهنمای مدل‌سازی مؤلفه موضوع اصلی: ابزار نوع: کتاب الکترونیکی ناشر: Morgan Kaufmann نویسنده: Richard Munden زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2004 تعداد صفحه: 337 حجم کتاب: 4 مگابایت کد کتاب: 9780125105811 , 0125105819 نوبت چاپ: First Edition توضیحات کتاب تأیید ASIC و FPGA: راهنمای مدل‌سازی مؤلفه ریچارد موندن نحوه ایجاد و استفاده از مدل‌های شبیه‌سازی را برای تأیید طرح‌های ASIC و…
مدیریت، اندازه گیری و تأیید قراردادهای عملکرد
دانلود کتاب Management, Measurement & Verification of Performance Contracting (به فارسی: مدیریت، اندازه گیری و تأیید قراردادهای عملکرد) نوشته شده توسط «James P. Waltz» اطلاعات کتاب مدیریت، اندازه گیری و تأیید قراردادهای عملکرد موضوع اصلی: مدیریت نوع: کتاب الکترونیکی ناشر: Fairmont Press; M. Dekker نویسنده: James P. Waltz زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2003 تعداد صفحه: 364 حجم کتاب: 3 مگابایت کد کتاب: 9780824709303 , 0824709306 , 0881732710 , 0881734519 نوبت چاپ: 1 توضیحات کتاب مدیریت، اندازه گیری و تأیید قراردادهای عملکرد این کتاب که توسط یک متخصص برجسته در زمینه اندازه‌گیری…
زبان های برنامه نویسی کاربردی برای ابزارهای تأیید. مقایسه استاندارد ML و Haskell
دانلود کتاب Functional programming languages for verification tools.A comparison of Standard ML and Haskell (به فارسی: زبان های برنامه نویسی کاربردی برای ابزارهای تأیید. مقایسه استاندارد ML و Haskell) نوشته شده توسط «Leucker M.» اطلاعات کتاب زبان های برنامه نویسی کاربردی برای ابزارهای تأیید. مقایسه استاندارد ML و Haskell موضوع اصلی: برنامه نويسي نوع: کتاب الکترونیکی نویسنده: Leucker M. زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) تعداد صفحه: 11 حجم کتاب: 1 مگابایت دانلود کتاب «زبان های برنامه نویسی کاربردی برای ابزارهای تأیید. مقایسه استاندارد ML و Haskell»
برنامه نویسی جنبه گرا با زبان تأیید الکترونیکی: راهنمای عملی برای توسعه دهندگان Testbench
دانلود کتاب Aspect-Oriented Programming with the e Verification Language : A Pragmatic Guide for Testbench Developers (به فارسی: برنامه نویسی جنبه گرا با زبان تأیید الکترونیکی: راهنمای عملی برای توسعه دهندگان Testbench) نوشته شده توسط «David Robinson» اطلاعات کتاب برنامه نویسی جنبه گرا با زبان تأیید الکترونیکی: راهنمای عملی برای توسعه دهندگان Testbench موضوع اصلی: برنامه نويسي نوع: کتاب الکترونیکی ناشر: Elsevier نویسنده: David Robinson زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2004 تعداد صفحه: 265 حجم کتاب: 2 مگابایت کد کتاب: 978-0-12-374210-0 دانلود کتاب «برنامه نویسی جنبه گرا با زبان تأیید الکترونیکی: راهنمای…
اعتبار سنجی روش تحلیلی و تأیید عملکرد ابزار
دانلود کتاب Analytical Method Validation and Instrument Performance Verification (به فارسی: اعتبار سنجی روش تحلیلی و تأیید عملکرد ابزار) نوشته شده توسط «Chung Chow Chan – Y. C. Lee – Herman Lam – Xue-Ming Zhang» اطلاعات کتاب اعتبار سنجی روش تحلیلی و تأیید عملکرد ابزار موضوع اصلی: 1 نوع: کتاب الکترونیکی ناشر: Wiley-Interscience نویسنده: Chung Chow Chan – Y. C. Lee – Herman Lam – Xue-Ming Zhang زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2004 تعداد صفحه: 316 حجم کتاب: 4 مگابایت کد کتاب: 0471259535 نوبت چاپ: 1 توضیحات کتاب اعتبار سنجی روش تحلیلی…