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