Cover Image

QR Code

Static analysis of software the abstract interpretation /

Bibliographic Details
Other Authors:	Boulanger, Jean-Louis.
Format:	Electronic
Language:	English
Published:	Hoboken, N.J. : Wiley, 2012.
Subjects:	Computer software > Testing. Debugging in computer science. Computer software > Quality control. Electronic books.
Online Access:	https://recursos.uloyola.es/login?url=https://accedys.uloyola.es:8443/accedix0/sitios/ebook.php?id=178712

Similar Items

Software error detection through testing and analysis
by: Huang, J. C., 1935-
Published: (2009)

Software architecture and design for reliability predictability /
by: Semegn, Assefa D.
Published: (2011)

Fundamentals of software testing /
by: Homès, Bernard,
Published: (2012)

Flexible, reliable software : using patterns and agile development /
by: Christensen, Henrik Baerbak,
Published: (2010)

Secure and resilient software development /
by: Merkow, Mark S.,
Published: (2010)

Industria del software
Published: (2005)

Calidad de sistemas de información /
Published: (2015)

Calidad de sistemas de información /
by: Piattini Velthuis, Mario G.,
Published: (2018)

Fábricas de software : experiencias, tecnologías y organización /
by: Piattini Velthuis, Mario.
Published: (2015)

Crouching tiger : quality and its implementation in the Indian and Irish software communities /
by: Keane, Brendan.
Published: (2007)

Mirror worlds, or, The day software puts the universe in a shoebox how it will happen and what it will mean /
by: Gelernter, David Hillel.
Published: (1991)

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

Innovative software : running the rapids.
by: McKay, Kenneth N., 1953-
Published: (2019)

Software testing and global industry : future paradigms /
by: Casey, Valentine.
Published: (2009)

Software development rhythms harmonizing agile practices for synergy /
by: Lui, Kim Man.
Published: (2008)

El software libre y las lenguas minoritarias: una oportunidad impagable /
by: Mas i Herna ndez, Jordi.
Published: (2003)

Lean architecture for agile software development
by: Coplien, James.
Published: (2010)

La Industria del software en Boyacá /
by: Rodríguez Moreno, Diana Cristina.
Published: (2020)

Using aspect-oriented programming for trustworthy software development
by: Safonov, V. O.
Published: (2008)

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

Software engineering : the current practices /
by: Rajlich, Václav,
Published: (2012)

Artificial neural network for software reliability prediction /
by: Bisi, Manjubala,
Published: (2017)

Modeling software behavior : a craftsman's approach /
by: Jorgensen, Paul,
Published: (2009)

Process improvement and CMMI for systems and software /
by: Kenett, Ron,
Published: (2010)

Empezar a programar usando JAVA /
Published: (2013)

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

Cloud enterprise architecture /
by: Raj, Pethuru.
Published: (2013)

Knowledge based automated software engineering /
Published: (2012)

Movimiento del software libre
by: López-Garay, Hernán.
Published: (2009)

Software educativo
Published: (2010)

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

Professional Windows Embedded Compact 7
by: Phung, Samuel.
Published: (2011)

Heidenhain : aplicaciones de control numérico para fresadora /
by: Sans García, Jordi.
Published: (2008)

Establecimiento y verificación de la consistencia en Dome: un caso de estudio /
by: Cabarcas, Daniel.
Published: (2006)

Running an agile software development project
by: Holcombe, W. M. L. 1944-
Published: (2008)

Mantenimiento del software (UF1894) /
by: Pérez Carvajal, Rafael Jesús.
Published: (2014)

Fundamentals of multicore software development
by: Pankratius, Victor.
Published: (2012)

La semiosis infinita y sus fronteras en un software educativo
by: Mosquera, Alexander.
Published: (2012)

Introduction to cryptography with open-source software /
by: McAndrew, Alasdair,
Published: (2011)

Programming multi-agent systems in AgentSpeak using Jason
by: Bordini, Rafael H.
Published: (2007)

Cannot write session to /tmp/vufind_sessions/sess_241im5qovp6odkq39tr9jb2364