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