Resultados
|
|
1.
|
Formal Aspects of Component Software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers / edited by Corina S. P?s?reanu, Gwen Salaün. por
- P?s?reanu, Corina S [editor.]
- Salaün, Gwen [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7684
Tipo de material:  Texto; Formato:
disponible en línea  ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Disponibilidad: No hay ítems disponibles.
|
|
|
2.
|
Formal Methods for Industrial Critical Systems : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings / edited by Gwen Salaün, Bernhard Schätz. por
- Salaün, Gwen [editor.]
- Schätz, Bernhard [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6959
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Disponibilidad: No hay ítems disponibles.
|
|
|
3.
|
|
