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)