Static analysis of software the abstract interpretation /
Guardado en:
Otros Autores: | Boulanger, Jean-Louis |
---|---|
Formato: | Electrónico eBook |
Lenguaje: | inglés |
Publicado: |
Hoboken, N.J. :
Wiley,
2012.
|
Materias: | |
Acceso en línea: | https://biblioteca.ues.edu.sv/acceso/elibro/?url=https%3A%2F%2Felibro.net%2Fereader%2Fbiblioues/178712 Ver en el OPAC |
Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
Software error detection through testing and analysis
por: Huang, J. C., 1935-
Publicado: (2009)
por: Huang, J. C., 1935-
Publicado: (2009)
Software architecture and design for reliability predictability /
por: Semegn, Assefa D.
Publicado: (2011)
por: Semegn, Assefa D.
Publicado: (2011)
Fundamentals of software testing /
por: Homès, Bernard
Publicado: (2012)
por: Homès, Bernard
Publicado: (2012)
Crouching tiger : quality and its implementation in the Indian and Irish software communities /
por: Keane, Brendan
Publicado: (2007)
por: Keane, Brendan
Publicado: (2007)
Calidad de sistemas de información /
Publicado: (2015)
Publicado: (2015)
Calidad de sistemas de información /
por: Piattini Velthuis, Mario G.
Publicado: (2018)
por: Piattini Velthuis, Mario G.
Publicado: (2018)
Industria del software
Publicado: (2005)
Publicado: (2005)
Fábricas de software : experiencias, tecnologías y organización /
por: Piattini Velthuis, Mario
Publicado: (2015)
por: Piattini Velthuis, Mario
Publicado: (2015)
Software testing and global industry : future paradigms /
por: Casey, Valentine
Publicado: (2009)
por: Casey, Valentine
Publicado: (2009)
Guía de recomendaciones para diseño de software centrado en el usuario /
por: Díaz, Javier
Publicado: (2013)
por: Díaz, Javier
Publicado: (2013)
Innovative software : running the rapids.
por: McKay, Kenneth N., 1953-
Publicado: (2019)
por: McKay, Kenneth N., 1953-
Publicado: (2019)
Software development rhythms harmonizing agile practices for synergy /
por: Lui, Kim Man
Publicado: (2008)
por: Lui, Kim Man
Publicado: (2008)
La Industria del software en Boyacá /
por: Rodríguez Moreno, Diana Cristina
Publicado: (2020)
por: Rodríguez Moreno, Diana Cristina
Publicado: (2020)
Using aspect-oriented programming for trustworthy software development
por: Safonov, V. O. (Vladimir Olegovich)
Publicado: (2008)
por: Safonov, V. O. (Vladimir Olegovich)
Publicado: (2008)
Artificial neural network for software reliability prediction /
por: Bisi, Manjubala, et al.
Publicado: (2017)
por: Bisi, Manjubala, et al.
Publicado: (2017)
Lean architecture for agile software development
por: Coplien, James
Publicado: (2010)
por: Coplien, James
Publicado: (2010)
El software libre y las lenguas minoritarias: una oportunidad impagable /
por: Mas i Herna ndez, Jordi
Publicado: (2003)
por: Mas i Herna ndez, Jordi
Publicado: (2003)
The complete software project manager : mastering technology from planning to launch and beyond /
por: Murray, Anna, 1966-
Publicado: (2016)
por: Murray, Anna, 1966-
Publicado: (2016)
Software safety and security : tools for analysis and verification /
Publicado: (2012)
Publicado: (2012)
Guía práctica sobre software libre su selección y aplicación local en América Latina y el Caribe /
por: Rosa, Fernando da, et al.
Publicado: (2007)
por: Rosa, Fernando da, et al.
Publicado: (2007)
Software development
Publicado: (1993)
Publicado: (1993)
An Introduction to the Management of Complex Software Projects /
por: Milutinovic, Veljko
Publicado: (2024)
por: Milutinovic, Veljko
Publicado: (2024)
Empezar a programar usando JAVA /
Publicado: (2013)
Publicado: (2013)
Journal of software evolution and process.
Knowledge based automated software engineering /
Publicado: (2012)
Publicado: (2012)
Algoritmos de trayectoria multiobjetivo aplicados al problema de asignación de recursos humanos a equipos de proyecto de software
por: Infante Abreu, Ana Lilian
Publicado: (2012)
por: Infante Abreu, Ana Lilian
Publicado: (2012)
Movimiento del software libre
por: López-Garay, Hernán
Publicado: (2009)
por: López-Garay, Hernán
Publicado: (2009)
Running an agile software development project
por: Holcombe, W. M. L. (William Michael Lloyd), 1944-
Publicado: (2008)
por: Holcombe, W. M. L. (William Michael Lloyd), 1944-
Publicado: (2008)
Análisis y comparación de diversos modelos de evaluación de software educativo
por: Cova, Ángela
Publicado: (2008)
por: Cova, Ángela
Publicado: (2008)
Software educativo
Publicado: (2010)
Publicado: (2010)
Professional Windows Embedded Compact 7
por: Phung, Samuel
Publicado: (2011)
por: Phung, Samuel
Publicado: (2011)
Establecimiento y verificación de la consistencia en Dome: un caso de estudio /
por: Cabarcas, Daniel
Publicado: (2006)
por: Cabarcas, Daniel
Publicado: (2006)
Heidenhain : aplicaciones de control numérico para fresadora /
por: Sans García, Jordi
Publicado: (2008)
por: Sans García, Jordi
Publicado: (2008)
La semiosis infinita y sus fronteras en un software educativo
por: Mosquera, Alexander
Publicado: (2012)
por: Mosquera, Alexander
Publicado: (2012)
La construcción de un cluster de software en la frontera noroeste de México
por: Hualde, Alfredo
Publicado: (2004)
por: Hualde, Alfredo
Publicado: (2004)
Programming multi-agent systems in AgentSpeak using Jason
por: Bordini, Rafael H.
Publicado: (2007)
por: Bordini, Rafael H.
Publicado: (2007)
UML 2 semantics and applications
Publicado: (2009)
Publicado: (2009)
New trends in software methodologies, tools and techniques : proceedings of the fifteenth somet_16 /
Publicado: (2016)
Publicado: (2016)
Codecharts roadmaps and blueprints for object-oriented programs /
por: Eden, A. H., 1967-
Publicado: (2011)
por: Eden, A. H., 1967-
Publicado: (2011)
Ciclo de vida de desarrollo ágil de software seguro /
por: Hernández Bejarno, Miguel
Publicado: (2020)
por: Hernández Bejarno, Miguel
Publicado: (2020)
Ejemplares similares
-
Software error detection through testing and analysis
por: Huang, J. C., 1935-
Publicado: (2009) -
Software architecture and design for reliability predictability /
por: Semegn, Assefa D.
Publicado: (2011) -
Fundamentals of software testing /
por: Homès, Bernard
Publicado: (2012) -
Crouching tiger : quality and its implementation in the Indian and Irish software communities /
por: Keane, Brendan
Publicado: (2007) -
Calidad de sistemas de información /
Publicado: (2015)