Resultados
|
|
1.
|
|
|
|
2.
|
Fundamental Approaches to Software Engineering : 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Dimitra Giannakopoulou, Fernando Orejas. por
- Giannakopoulou, Dimitra [editor.]
- Orejas, Fernando [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6603
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.
|
|
|
|
4.
|
Verified software: theories, tools and experiments : 6th international conference, vstte 2014, vienna, austria, july 17-18, 2014, revised selected papers / edited by Dimitra Giannakopoulou, Daniel Kroening. por
- Giannakopoulou, Dimitra [editor.]
- Kroening, Daniel [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8471
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Springer, 2014
Disponibilidad: No hay ítems disponibles.
|
