polyhedra - پروژه ها

موضوع فارسی :از polyhedra کتابخانه پارما: به سوی یک مجموعه کامل از انتزاعی عددی برای تجزیه و تحلیل و بررسی سیستم های سخت افزاری و نرم افزار موضوع انگلیسی : The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems تعداد صفحه :۱۹ فرمت فایل :PDF سال انتشار :۲۰۰۸ زبان مقاله : انگلیسی از زمان آغاز آن به عنوان یک پروژه دانشجویی در سال ۲۰۰۱، در ابتدا فقط برای بار …