صورة من Google Jackets

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
موارد على الإنترنت: SpringerLink ebooks - Computer Science (2010)ملخص: 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.
نوع المادة: DVD مراجعات من LibraryThing.com:
وسوم من هذه المكتبة: لا توجد وسوم لهذا العنوان في هذه المكتبة. قم بتسجيل الدخول لإضافة الوسوم.
التقييم باستخدام النجوم
    متوسط التقييم: 0.0 (0 صوتًا)
المقتنيات
المكتبة الحالية رقم الاستدعاء حالة الباركود
قسم الاجراءات الفنية (IC) 005.131 F o M (استعراض الرف(يفتح أدناه)) المتاح 00102084
قسم الاجراءات الفنية (IC) 005.131 F o M (استعراض الرف(يفتح أدناه)) المتاح 00102085
إجمالي الحجوزات: 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

لا توجد تعليقات على هذا العنوان.

شارك