Su búsqueda retornó 2 resultados.

Resultados
		Foundations of Computer Software. Future Trends and Techniques for Development [recurso electrónico] : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers / edited by Christine Choppy, Oleg Sokolsky. por Choppy, Christine [editor.] \| Sokolsky, Oleg [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6028Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Runtime Verification [recurso electrónico] : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings / edited by Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann. por Barringer, Howard [editor.] \| Falcone, Ylies [editor.] \| Finkbeiner, Bernd [editor.] \| Havelund, Klaus [editor.] \| Lee, Insup [editor.] \| Pace, Gordon [editor.] \| Rosu, Grigore [editor.] \| Sokolsky, Oleg [editor.] \| Tillmann, Nikolai [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6418Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.

Con tecnología Koha