مشخصات کتاب

Dependable software systems engineering

ویرایش:  
نویسندگان: Esparza. Javier(Editor), Grumberg. Orna(Editor), Sickert. Salomon(Editor)  
سری: NATO science for peace and security series. Sub-series D, Information and communication security 45 
ISBN (شابک) : 9781614996262, 161499627X 
ناشر: Ios Pr Inc; IOS Press 
سال نشر: 2016 
تعداد صفحات: 285
[296] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 Mb 

در صورت تبدیل فایل کتاب Dependable software systems engineering به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مهندسی سیستم های نرم افزاری قابل اعتماد نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب مهندسی سیستم های نرم افزاری قابل اعتماد

صفحه عنوان؛ پیشگفتار؛ فهرست؛ بررسی مدل احتمالی. حل کننده های SMT: مبانی و برنامه های کاربردی. مدل های رسمی برای تجزیه و تحلیل پروتکل های امنیتی: برخی از یادداشت های سخنرانی. تأیید پارامتری از انبوه فرآیندهای ناشناس. سنتز سیستم های راکتیو; بین تست و تأیید: بررسی مدل نرم افزار پویا. بررسی مدل ترکیبی مبتنی بر یادگیری سیستم‌های UML رفتاری. برنامه نویسی با مثال (و کاربردهای آن در جدال داده ها)؛ تایید نرم افزار همزمان؛ آموزش بازی های متوسط ​​و انرژی. هم ارزی -- ترکیبیات، جبر، اثبات.

توضیحاتی درمورد کتاب به خارجی

Title Page; Preface; Contents; Probabilistic Model Checking; SMT Solvers: Foundations and Applications; Formal Models for Analyzing Security Protocols: Some Lecture Notes; Parameterized Verification of Crowds of Anonymous Processes; Synthesis of Reactive Systems; Between Testing and Verification: Dynamic Software Model Checking; Learning-Based Compositional Model Checking of Behavioral UML Systems; Programming by Examples (and Its Applications in Data Wrangling); Verification of Concurrent Software; A Tutorial on Mean-Payoff and Energy Games; Equivalence -- Combinatorics, Algebra, Proofs.

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Innovative Processing Films and Nanocrystalline Powders

دانلود کتاب Gewinn in alle Ewigkeit: Kapitalismus als Religion

دانلود کتاب Symmetrie und Verzweigung der Lebermoose: Ein Beitrag zur Kenntnis ihrer Wuchsformen

دانلود کتاب Studies In Semitic Grammar and Metrics

دانلود کتاب Reconstructing public reason