Formal aspects of component software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers /
This book constitutes the revised selected papers of the 9th International Symposium on Formal Aspects of Component Software, FACS 2012, held in Mountain View, CA, USA in September 2012. The 16 full papers presented were carefully reviewed and selected from 40 submissions. They cover topics such as...
Tallennettuna:
| Yhteisötekijä: | SpringerLink (Online service) |
|---|---|
| Muut tekijät: | Salaun, Gwen, Pasareanu, Corina S. |
| Aineistotyyppi: | E-kirja |
| Kieli: | English |
| Julkaistu: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2013.
|
| Sarja: | Lecture Notes in Computer Science
7684 |
| Aiheet: | |
| Linkit: | Click here to view the full text content |
| Tagit: |
Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
|
Samankaltaisia teoksia
-
Formal aspects of component software : 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers /
Julkaistu: (2014) -
Formal aspects of component software 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers /
Julkaistu: (2012) -
Formal methods for components and objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
Julkaistu: (2013) -
Formal methods for components and objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers /
Julkaistu: (2012) -
Formal methods for components and objects 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. revised selected papers /
Julkaistu: (2010)