دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Principles of Model Checking
دانلود کتاب اصول مدل چک کردن
مشخصات کتاب
Principles of Model Checking
ویرایش:
نویسندگان: Christel Baier. Joost-Pieter Katoen
سری:
ISBN (شابک) : 9780262026499, 026202649X
ناشر:
سال نشر: 2008
تعداد صفحات: 994
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 37,000
در صورت تبدیل فایل کتاب Principles of Model Checking به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب اصول مدل چک کردن نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب اصول مدل چک کردن
مقدمه ای جامع بر مبانی بررسی مدل، یک تکنیک کاملاً خودکار برای یافتن نقص در سخت افزار و نرم افزار. با مثال های گسترده و تمرین های عملی و نظری.
توضیحاتی درمورد کتاب به خارجی
A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Great Surveys of the American West (American Exploration and Travel Series)
دانلود کتاب Hollywood Lighting from the Silent Era to Film Noir
دانلود کتاب The Analysis of Solutions of Elliptic Equations (Mathematics and Its Applications)
دانلود کتاب Indebted Societies: Credit and Welfare in Rich Democracies
