Leveraging Applications of Formal Methods, Verification and Validation [Recurso electrónico] : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / edited by Tiziana Margaria, Bernhard Steffen.

Por: Margaria, TizianaColaborador(es): Steffen, Bernhard | SpringerLink (Online service)Tipo de material: Archivo de ordenadorArchivo de ordenadorSeries Communications in Computer and Information Science, 1865-0929 ; ; 17Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. Descripción: v.: digitalISBN: 9783540884798Tema(s): Computer science | Computer system performance | Software engineering | Computer simulation | Computer Science | Software Engineering | Programming Techniques | Software Engineering/Programming and Operating Systems | Models and Principles | Simulation and Modeling | System Performance and EvaluationRecursos en línea: Texto completo Forma de acceso: Restringido a usuarios de la UCA En: Springer eBooks
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título. Inicie sesión para agregar etiquetas.
Valoración
    Valoración media: 0.0 (0 votos)
No hay ítems correspondientes a este registro

Restringido a usuarios de la UCA

Modo de acceso: World Wide Web

No hay comentarios en este titulo.

para aportar su opinión.

Con tecnología Koha