Su búsqueda retornó 2 resultados.

Resultados
		Critical Systems: Formal Methods and Automated Verification [recurso electrónico] : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings / edited by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp. por ter Beek, Maurice H [editor.] \| Gnesi, Stefania [editor.] \| Knapp, Alexander [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9933Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		FM 2016: Formal Methods [recurso electrónico] : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings / edited by John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou. por Fitzgerald, John [editor.] \| Heitmeyer, Constance [editor.] \| Gnesi, Stefania [editor.] \| Philippou, Anna [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9995Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Con tecnología Koha