Su búsqueda retornó 2 resultados.

Resultados
		CONCUR 2011 – Concurrency Theory [recurso electrónico] : 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings / edited by Joost-Pieter Katoen, Barbara König. por Katoen, Joost-Pieter [editor.] \| König, Barbara [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6901Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Formal Methods [electronic resource] : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings / edited by Marsha Chechik, Joost-Pieter Katoen, Martin Leucker. por Chechik, Marsha [editor.] \| Katoen, Joost-Pieter [editor.] \| Leucker, Martin [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14000Edició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 International Publishing : 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