Constantin Enea, Ruzica P...
This book constitutes the refereed proceedings of the 20t...
Jovan Pehcevski
Provides a brief description of various methods and appro...
Rui Peng, Yan-Fu Li, Yu Liu
This book focuses on software fault detection and correct...
Tiziana Margaria, Bernhard...
The four-volume set LNCS 11244, 11245, 11246, and 11247 c...
Tiziana Margaria, Bernhard...
The four-volume set LNCS 11244, 11245, 11246, and 11247 c...
IAEA
Defines a framework that represents the state of the art ...
Arnon Axelrod
Rely on this robust and thorough guide to build and maint...
Inmaculada Medina-Bulo, Me...
This book constitutes the refereed proceedings of the 30t...
Dirk Slama, Frank Puhlman...
Current hype aside, the Internet of Things will ultimatel...
Ivan Mistrik, Richard M S...
Software Quality Assurance in Large Scale and Complex Sof...
-
Marta Beltran, William Kn...
This book constitutes the refereed proceedings of the 12t...
Erik Seligman, Tom Schube...
Formal Verification: An Essential Toolkit for Modern VLSI...
Jeff Sussna
To help you improve customer satisfaction and create posi...
Brian Hambling, Peter Mor...
This practical guide provides insight into software testi...
Daniel Knott
Reflecting his extensive real-life experience, Daniel Kno...
Orlando Lopez
Good Manufacturing Practice (GMP) ensures medicinal produ...
Jim Kukunas
Power and Performance: Software Analysis and Optimization...