Resultados
|
1.
|
Language Engineering and Rigorous Software Development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures / edited by Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto. por
- Bove, Ana [editor.]
- Barbosa, Luís Soares [editor.]
- Pardo, Alberto [editor.]
- Pinto, Jorge Sousa [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5520
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
Disponibilidad: No hay ítems disponibles.
|
|
2.
|
|
|
3.
|
|
|
4.
|
Software Engineering and Formal Methods : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings / edited by Gilles Barthe, Alberto Pardo, Gerardo Schneider. por
- Barthe, Gilles [editor.]
- Pardo, Alberto [editor.]
- Schneider, Gerardo [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7041
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.
|