دانلود کتاب Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 – November2, 2004, Revised Selected Papers
استفاده از کاربردهای روش های رسمی: اولین سمپوزیوم بین المللی، ISoLA 2004، پافوس، قبرس، 30 اکتبر - 2 نوامبر، 2004، مقالات منتخب اصلاح شده
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 197 |
| حجم فایل | 2 مگابایت |
| کد کتاب | 3540489282,9783540489283 |
| نوبت چاپ | 1 |