Su búsqueda retornó 2 resultados.

Resultados
		The Practice of Formal Methods [electronic resource] : Essays in Honour of Cliff Jones, Part I / edited by Ana Cavalcanti, James Baxter. por Cavalcanti, Ana [editor.] \| Baxter, James [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14780Edición: 1st ed. 2024.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, 2024Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		The Practice of Formal Methods [electronic resource] : Essays in Honour of Cliff Jones, Part II / edited by Ana Cavalcanti, James Baxter. por Cavalcanti, Ana [editor.] \| Baxter, James [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14781Edición: 1st ed. 2024.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, 2024Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Refinar su búsqueda