دانلود کتاب Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures
روش های رسمی برای اجزا و اشیاء: دومین سمپوزیوم بین المللی، FMCO 2003، لیدن، هلند، 4-7 نوامبر 2003. سخنرانی های تجدید نظر شده
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 371 |
| حجم فایل | 7 مگابایت |
| کد کتاب | 3540229426,9783540229421,9783540301011 |
| نوبت چاپ | 1 |