Cargando…

Mathematical Approaches to Software Quality

The now customary expectation for high-quality software products places an immense demand on industries and organizations to fulfill this need and to consistently produce quality software. Mathematical Approaches to Software Quality provides a comprehensive introduction to various mathematical metho...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor principal:	O'Regan, Gerard (Autor)
Autor Corporativo:	SpringerLink (Online service)
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	London : Springer London : Imprint: Springer, 2006.
Edición:	1st ed. 2006.
Temas:	Software engineering. Computer science-Mathematics. Discrete mathematics. Software Engineering. Mathematics of Computing. Discrete Mathematics in Computer Science.
Acceso en línea:	Texto Completo

Ejemplares similares

Mathematical Software - ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings /
Publicado: (2016)

Mathematical Software - ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, Proceedings /
Publicado: (2010)

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /
Publicado: (2014)

Automata, Languages and Programming 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I /
Publicado: (2009)

Validated Designs for Object-oriented Systems
por: Fitzgerald, John, et al.
Publicado: (2005)

Automata, Languages and Programming 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II /
Publicado: (2009)

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2006 and 10th International Workshop on Randomization and Computation, RANDOM 2006, Barcelona, Spain, August 28-30, 2006, Proceedings /
Publicado: (2006)

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 10th International Workshop, APPROX 2007, and 11th International Workshop, RANDOM 2007, Princeton, NJ, USA, August 20-22, 2007, Proceedings /
Publicado: (2007)

The Algorithm Design Manual
por: Skiena, Steven S.
Publicado: (2008)

Advances in Computer Games 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers /
Publicado: (2015)

Combinatorial Optimization and Applications Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009, Proceedings /
Publicado: (2009)

Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings /
Publicado: (2006)

Formal Models of Operating System Kernels
por: Craig, Iain D.
Publicado: (2007)

Frontiers in Algorithms 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010, Proceedings /
Publicado: (2010)

Graphical Models for Security Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers /
Publicado: (2016)

Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings /
Publicado: (2015)

Advanced Parallel Processing Technologies 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005, Proceedings /
Publicado: (2005)

Advanced Parallel Processing Technologies 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings /
Publicado: (2007)

Transactions on Computational Science XXVII
Publicado: (2016)

Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications /
por: O'Regan, Gerard
Publicado: (2016)

Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers /
Publicado: (2015)

Parallel and Distributed Processing and Applications Second International Symposium, ISPA 2004, Hong Kong, China, December 13-15, 2004, Proceedings /
Publicado: (2005)

Algorithms - ESA 2010 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, Proceedings /
Publicado: (2010)

WALCOM: Algorithms and Computation Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008, Proceedings /
Publicado: (2008)

Algorithmic Aspects in Information and Management 6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010. Proceedings /
Publicado: (2010)

Fun with Algorithms 4th International Conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007, Proceedings /
Publicado: (2007)

Resource Allocation in Wireless Networks Theory and Algorithms /
por: Stanczak, Slawomir, et al.
Publicado: (2006)

Approximation and Online Algorithms Third International Workshop, WAOA 2005, Palma de Mallorca, Spain, October 6-7, 2005, Revised Selected Papers /
Publicado: (2006)

Approximation and Online Algorithms 5th International Workshop, WAOA 2007, Eilat, Israel, October 11-12, 2007, Revised Papers /
Publicado: (2008)

Experimental Algorithms 6th International Workshop, WEA 2007, Rome, Italy, June 6-8, 2007, Proceedings /
Publicado: (2007)

Approximation and Online Algorithms 4th International Workshop, WAOA 2006, Zurich, Switzerland, September 14-15, 2006, Revised Papers /
Publicado: (2007)

Algorithmic Aspects in Information and Management 4th International Conference, AAIM 2008, Shanghai, China, June 23-25, 2008, Proceedings /
Publicado: (2008)

Algorithms - ESA 2006 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006, Proceedings /
Publicado: (2006)

Algorithms - ESA 2007 15th Annual European Symposium, Eilat, Israel, October 8-10, 2007, Proceedings /
Publicado: (2007)

Analytical and Stochastic Modelling Techniques and Applications 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings /
Publicado: (2015)

Experimental Algorithms 7th International Workshop, WEA 2008 Provincetown, MA, USA, May 30 - June 1, 2008 Proceedings /
Publicado: (2008)

Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings /
Publicado: (2008)

SOFSEM 2012: Theory and Practice of Computer Science 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012, Proceedings /
Publicado: (2012)

SOFSEM 2011: Theory and Practice of Computer Science 37th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 22-28, 2011. Proceedings /
Publicado: (2011)

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /
Publicado: (2008)

Cannot write session to /tmp/vufind_sessions/sess_a5q2jlqps42pgltc46vaa9f9hg