Formal aspects of component software 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers /
محفوظ في:
مؤلف مشترك: | SpringerLink (Online service) |
---|---|
مؤلفون آخرون: | Lumpe, Markus |
التنسيق: | برمجيات كتاب الكتروني |
اللغة: | English |
منشور في: |
Berlin, Heidelberg
Springer Berlin Heidelberg,
2012.
|
سلاسل: | Lecture Notes in Computer Science,
6921 |
الموضوعات: | |
الوصول للمادة أونلاين: | Click here to view the full text content |
الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
مواد مشابهة
-
Formal aspects of component software : 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers /
منشور في: (2014) -
Formal aspects of component software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers /
منشور في: (2013) -
Formal methods for components and objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers /
منشور في: (2012) -
Integrated formal methods 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings /
منشور في: (2010) -
Formal methods for components and objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /
منشور في: (2013)