Su búsqueda retornó 2 resultados.

Resultados
		Formal Methods and Software Engineering [electronic resource] : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings / edited by Jing Sun, Meng Sun. por Sun, Jing [editor.] \| Sun, Meng [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11232Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Theoretical Aspects of Software Engineering [electronic resource] : 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings / edited by Cristina David, Meng Sun. por David, Cristina [editor.] \| Sun, Meng [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13931Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Refinar su búsqueda