دانلود کتاب 25 Years of Model Checking: History, Achievements, Perspectives
دانلود کتاب 25 Years of Model Checking: History, Achievements, Perspectives
دانلود کتاب Formal Logical Methods for System Security and Correctness
دانلود کتاب Model checking
دانلود کتاب Model checking
دانلود کتاب Model Checking (Cyber Physical Systems Series)
دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 – April 1, 2007. Proceedings
ابزارها و الگوریتمها برای ساخت و تحلیل سیستمها: سیزدهمین کنفرانس بینالمللی، TACAS 2007، به عنوان بخشی از کنفرانسهای مشترک اروپایی در نظریه و عمل نرمافزار، ETAPS 2007 براگا، پرتغال، 24 مارس - 1 آوریل 2007 برگزار شد.
موضوع اصلی | الگوریتم ها و ساختارهای داده |
---|---|
نوع کالا | کتاب الکترونیکی |
ناشر | Springer-Verlag Berlin Heidelberg |
تعداد صفحه | 740 |
حجم فایل | 9 مگابایت |
کد کتاب | 3540712089,9783540712084 |
نوبت چاپ | 1 |