Quick Search
Shop by Price
Featured Categories
Categories
Software Testing & Verification
|
IDA Pro Book By: Chris Eagle Format: Paperback |
||||
|
|||||
Description:IDA Pro is the de facto standard for the analysis of hostile code and vulnerability research, and the tool that......ISBN: 9781593271787 |
|||||
|
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday Unknown: Pierpaolo Degano Format: Paperback |
||||
|
|||||
Description:"This Festschrift volume, published in honor of Ugo Montanari on the occasion of his 65th birthday, contains 43 papers,......ISBN: 9783540686767 |
|||||
|
Reasoning in Boolean Networks By: Wolfgang Kunz, Dominik Stoffel Format: Hardcover |
||||
|
|||||
Description:Reasoning in Boolean Networks provides a detailed treatment of recent research advances in algorithmic techniques for......ISBN: 9780792399216 |
|||||
|
Troubleshooting Oracle Performance By: Christian Antognini Format: Hardcover |
||||
|
|||||
Description:Part 1 Foundations Chapter 1 Performance Problems Chapter 2 Key Concepts Part 2 Identification Chapter 3 Identifying......ISBN: 9781590599174 |
|||||
|
Practical Support for Lean Six SIGMA Software Process Definition : Using IEEE Software Engineering Standards By: Susan K. Land, Douglas B. Smith, John W. Walz Format: Paperback |
||||
|
|||||
Description:"Practical Support for Lean Six Sigma Software Process Definition illustrates how software process definition,......ISBN: 9780470170809 |
|||||
|
Optimize Quality for Business Outcomes: A Practical Approach to Software Testing By: Golze, Mark Sarbiewski, Alain Zahm, Alain Zahm Format: Paperback |
||||
|
|||||
Description:Acknowledgements.Introduction.Chapter 1 What Is the Big Deal About Testing?Quality Goals and Test Phases.Requirements......ISBN: 9780470404669 |
|||||
|
Practical Computer Validation Handbook By: R.D. McDowall Format: Hardcover |
||||
|
|||||
|
ISBN: 9780849318801
|
|||||
|
Manage Software Testing By: Peter Farrell-Vinay, Farrell-Vinay Farrell-Vinay Format: Hardcover |
||||
|
|||||
Description:Preface. Introduction. The Big Questions You Need Answers To. Risk Management. Test Planning and Management. Testing and......ISBN: 9780849393839 |
|||||
|
Using Aspect-Oriented Programming for Trustworthy Software Development By: Vladimir O. Safonov, Vladimir O. Safonov Format: Hardcover |
||||
|
|||||
Description:"This publication fills a gap in the literature by not only describing the basic concepts of trustworthy computing (TWC)......ISBN: 9780470138175 |
|||||
|
CMMI Distilled: A Practical Introduction to Integrated Process Improvement, 3E By: Clouse & Turner Ahern, Aaron Clouse, Richard Turner Format: Paperback |
||||
|
|||||
Description:An easily-digestible and fully updated view of CMMI for practitioners as well as executives, managers and the simply......ISBN: 9780321461087 |
|||||
|
Developments in Risk-Based Approaches to Safety : Proceedings of the Fourteenth Safety-Citical Systems Symposium, Bristol, UK, 7-9 February 2006 Editor: Felix Redmill, Tom Anderson Contribution by: Safety-Critical Systems Club Staff Format: Paperback |
||||
|
|||||
Description:People and Systems: Striking a Safe Balance between Human and Machine.- Risk Assessment for M42 Active Traffic......ISBN: 9781846283338 |
|||||
|
Lessons from a Lean Consultant: How to Avoid Lean Implementation Failures on the Shop Floor By: Ortiz Chris A Format: Board Book |
||||
|
|||||
Description:Provides managers and engineers with a nuts and bolts approach to making lean manufacturing work through transforming......ISBN: 9780131584631 |
|||||
|
Guide to Advanced Software Testing By: Anne Mette Jonassen Hass Format: Hardcover |
||||
|
|||||
Description:"This volume provides an overview of software testing and its purpose and value. It covers topics ranging from handling......ISBN: 9781596932852 |
|||||
|
Principles of Model Checking By: Christel Baier, Joost-Pieter Katoen Foreword by: Kim Guldstrand Larsen Format: Hardcover |
||||
|
|||||
Description:A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in......ISBN: 9780262026499 |
|||||
|
Applied Software Measurement : Global Analysis of Productivity and Quality By: Capers Jones, Capers Jones Format: Hardcover |
||||
|
|||||
Description:Fully revised for the latest technologies The definitive work on software metrics has now been updated to meet today's......ISBN: 9780071502443 |
|||||
|
Computer Aided Verification Editor: Kousha Etessami, Sriram K. Rajamani Format: Paperback |
||||
|
|||||
Description:This book constitutes the refereed proceedings of the 17th International Conference on Computer Aided Verification, CAV......ISBN: 9783540272311 |
|||||
|
Handbook of Research on Web Information Systems Quality By: Coral Calero Munoz, M. Angeles Moraga, Mario Piattini Format: Hardcover |
||||
|
|||||
Description:"Web information systems engineering resolves the multifaceted issues of Web-based development systems; however, as part......ISBN: 9781599048475 |
|||||
|
Modeling and Verification of Real-Time Systems : Formalisms and Software Tools Editor: Stephan Merz, Nicolas Navet Format: Hardcover |
||||
|
|||||
Description:"This title presents some concepts and techniques for describing and modeling real-time systems and analyzing their......ISBN: 9781848210134 |
|||||
|
Introduction to Software Testing By: Paul Ammann, Jeff Offutt Format: Hardcover |
||||
|
|||||
Description:This text takes an innovative approach toward explaining the process of software...ISBN: 9780521880381 |
|||||
|
Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, Hvc 2006, Haifa, Israel, October 23-26, 2006, Rev Editor: Eyal Bin, Avi Ziv, Shmuel Ur Format: Paperback |
||||
|
|||||
Description:This book constitutes the thoroughly refereed post-proceedings of the Second International Haifa Verification......ISBN: 9783540708889 |
|||||
Latest Publisher Releases
Click on the logos to see the latest releases from these leading Australian publishers and distributors.
