دانلود کتاب Foundations of Probabilistic Programming
دانلود کتاب Model-Based Testing of Reactive Systems: Advanced Lectures
دانلود کتاب Model-Based Testing of Reactive Systems: Advanced Lectures
دانلود کتاب Principles of Model Checking
دانلود کتاب Principles of Model Checking
دانلود کتاب Principles of Model Checking
دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings
ابزارها و الگوریتمها برای ساخت و تحلیل سیستمها: هشتمین کنفرانس بینالمللی، TACAS 2002 به عنوان بخشی از کنفرانسهای مشترک اروپایی در نظریه و عمل نرمافزار، ETAPS 2002 گرنوبل، فرانسه، 8-12 آوریل، 2002 مجموعه مقالات برگزار شد.
| موضوع اصلی | الگوریتم ها و ساختارهای داده |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 486 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 9783540434191,3540434194 |
| نوبت چاپ | 1 |
