Imagem da capa

Static analysis of software the abstract interpretation /

Na minha lista:

Detalhes bibliográficos
Outros Autores:	Boulanger, Jean-Louis
Formato:	Recurso Electrónico livro electrónico
Idioma:	inglês
Publicado em:	Hoboken, N.J. : Wiley, 2012.
Assuntos:	Computer software > Testing. Debugging in computer science. Computer software > Quality control. Electronic books.
Acesso em linha:	https://biblioteca.ues.edu.sv/acceso/elibro/?url=https%3A%2F%2Felibro.net%2Fereader%2Fbiblioues/178712 Ver en el OPAC
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

Registos relacionados

Software error detection through testing and analysis
Por: Huang, J. C., 1935-
Publicado em: (2009)

Software architecture and design for reliability predictability /
Por: Semegn, Assefa D.
Publicado em: (2011)

Fundamentals of software testing /
Por: Homès, Bernard
Publicado em: (2012)

Crouching tiger : quality and its implementation in the Indian and Irish software communities /
Por: Keane, Brendan
Publicado em: (2007)

Calidad de sistemas de información /
Publicado em: (2015)

Calidad de sistemas de información /
Por: Piattini Velthuis, Mario G.
Publicado em: (2018)

Industria del software
Publicado em: (2005)

Fábricas de software : experiencias, tecnologías y organización /
Por: Piattini Velthuis, Mario
Publicado em: (2015)

Software testing and global industry : future paradigms /
Por: Casey, Valentine
Publicado em: (2009)

Guía de recomendaciones para diseño de software centrado en el usuario /
Por: Díaz, Javier
Publicado em: (2013)

Innovative software : running the rapids.
Por: McKay, Kenneth N., 1953-
Publicado em: (2019)

Software development rhythms harmonizing agile practices for synergy /
Por: Lui, Kim Man
Publicado em: (2008)

La Industria del software en Boyacá /
Por: Rodríguez Moreno, Diana Cristina
Publicado em: (2020)

Using aspect-oriented programming for trustworthy software development
Por: Safonov, V. O. (Vladimir Olegovich)
Publicado em: (2008)

Artificial neural network for software reliability prediction /
Por: Bisi, Manjubala, et al.
Publicado em: (2017)

Lean architecture for agile software development
Por: Coplien, James
Publicado em: (2010)

El software libre y las lenguas minoritarias: una oportunidad impagable /
Por: Mas i Herna ndez, Jordi
Publicado em: (2003)

The complete software project manager : mastering technology from planning to launch and beyond /
Por: Murray, Anna, 1966-
Publicado em: (2016)

Software safety and security : tools for analysis and verification /
Publicado em: (2012)

Guía práctica sobre software libre su selección y aplicación local en América Latina y el Caribe /
Por: Rosa, Fernando da, et al.
Publicado em: (2007)

Software development
Publicado em: (1993)

An Introduction to the Management of Complex Software Projects /
Por: Milutinovic, Veljko
Publicado em: (2024)

Empezar a programar usando JAVA /
Publicado em: (2013)

Journal of software evolution and process.

Knowledge based automated software engineering /
Publicado em: (2012)

Algoritmos de trayectoria multiobjetivo aplicados al problema de asignación de recursos humanos a equipos de proyecto de software
Por: Infante Abreu, Ana Lilian
Publicado em: (2012)

Movimiento del software libre
Por: López-Garay, Hernán
Publicado em: (2009)

Running an agile software development project
Por: Holcombe, W. M. L. (William Michael Lloyd), 1944-
Publicado em: (2008)

Análisis y comparación de diversos modelos de evaluación de software educativo
Por: Cova, Ángela
Publicado em: (2008)

Software educativo
Publicado em: (2010)

Professional Windows Embedded Compact 7
Por: Phung, Samuel
Publicado em: (2011)

Establecimiento y verificación de la consistencia en Dome: un caso de estudio /
Por: Cabarcas, Daniel
Publicado em: (2006)

Heidenhain : aplicaciones de control numérico para fresadora /
Por: Sans García, Jordi
Publicado em: (2008)

La semiosis infinita y sus fronteras en un software educativo
Por: Mosquera, Alexander
Publicado em: (2012)

La construcción de un cluster de software en la frontera noroeste de México
Por: Hualde, Alfredo
Publicado em: (2004)

Programming multi-agent systems in AgentSpeak using Jason
Por: Bordini, Rafael H.
Publicado em: (2007)

UML 2 semantics and applications
Publicado em: (2009)

New trends in software methodologies, tools and techniques : proceedings of the fifteenth somet_16 /
Publicado em: (2016)

Codecharts roadmaps and blueprints for object-oriented programs /
Por: Eden, A. H., 1967-
Publicado em: (2011)

Ciclo de vida de desarrollo ágil de software seguro /
Por: Hernández Bejarno, Miguel
Publicado em: (2020)