دانلود کتاب Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures
دانلود کتاب Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays
روشهای رسمی و سیستمهای ترکیبی بیدرنگ: مقالههایی به افتخار داین بیورنر و چائوچن ژو به مناسبت هفتادمین سالگرد تولدشان
| موضوع اصلی | کامپیوتر - برنامه نویسی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 542 / 550 |
| حجم فایل | 5.37 مگابایت |
| کد کتاب | 354075220X , 9783540752202 |
| نوبت چاپ | 1 |
دانلود کتاب Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays
روشهای رسمی و سیستمهای ترکیبی بیدرنگ: مقالههایی به افتخار داین بیورنر و چائوچن ژو به مناسبت هفتادمین سالگرد تولدشان
| موضوع اصلی | کامپیوتر - برنامه نویسی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 542 / 557 |
| حجم فایل | 6.60 مگابایت |
| کد کتاب | 354075220X , 9783540752202 |
| نوبت چاپ | 1 |
