Formal Aspects of Component Software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers /
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Libro |
| Lingua: | inglese |
| Pubblicazione: |
Berlín, Alemania :
Springer,
2013, c2013
|
| Serie: | (Lecture Notes in Computer Science)
|
| Accesso online: | Ver documento en línea |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi: Formal Aspects of Component Software :
- Formal Aspects of Component Software : 10th International Symposium, FACS 2013, Nanchang, China, October 27–29, 2013 : Revised Selected Papers /
- Formal Aspects of Component Software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers /
- Formal Aspects of Component Software : 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers /
- Model Checking Software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings /
- Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
- Component-Based Software Engineering : 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings /