Resultados
|
|
1.
|
Abstract State Machines, Alloy, B, VDM, and Z : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / edited by John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene. por
- Derrick, John [editor.]
- Fitzgerald, John [editor.]
- Gnesi, Stefania [editor.]
- Khurshid, Sarfraz [editor.]
- Leuschel, Michael [editor.]
- Reeves, Steve [editor.]
- Riccobene, Elvinia [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7316
Tipo de material:  Texto; Formato:
disponible en línea  ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Disponibilidad: No hay ítems disponibles.
|
|
|
2.
|
Fundamental approaches to software engineering : 17th international conference, fase 2014, held as part of the european joint conferences on theory and practice of software, etaps 2014, grenoble, france, april 5-13, 2014, proceedings / edited by Stefania Gnesi, Arend Rensink. por
- Gnesi, Stefania [editor.]
- Rensink, Arend [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8411
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Springer, 2014
Disponibilidad: No hay ítems disponibles.
|
|
|
3.
|
Integrated Formal Methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings / edited by John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne. por
- Derrick, John [editor.]
- Gnesi, Stefania [editor.]
- Latella, Diego [editor.]
- Treharne, Helen [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7321
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Disponibilidad: No hay ítems disponibles.
|
