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.
Tipo de material: Archivo 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 eBooksNo hay ítems correspondientes a este registro
Restringido a usuarios de la UCA
Modo de acceso: World Wide Web
No hay comentarios en este titulo.