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)