Formal Methods for Components and Objects [electronic resource]: 8th International Symposium, FMCO 2009, Eindhoven, the Netherlands, November 4-6, 2009. Revised Selected Papers
نوع المادة :
نصالسلاسل: Lecture Notes in Computer Science / Programming and Software Engineering Serتفاصيل النشر: New York : Springer Jan. 2011ردمك: - 9783642170706
- 3642170706 (Trade Paper)
- 005.131 21 F o M
- QA76.9.F67
DVD
مراجعات من LibraryThing.com:
| المكتبة الحالية | رقم الاستدعاء | حالة | |
|---|---|---|---|
| المكتبة المركزية بالمجمعة (CL) | 005.131 DFF (استعراض الرف(يفتح أدناه)) | المتاح |
إجمالي الحجوزات: 0
License restrictions may limit access.
Annotation This state-of-the-art survey presents the outcome of the 8th Symposium on Formal Methods for Components and Objects, held in Eindhoven, The Netherlands, in November 2009.
Scholarly & Professional Springer
لا توجد تعليقات على هذا العنوان.
تسجيل الدخول إلى حسابك لنشر تعليق.