461- 480 of 654 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Six Sigma Software Development, Author: Christine B. Tayntor
QUICK ADD
Six Sigma Software Development
by Christine B. Tayntor
eBook $105.00
Title: Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26, Author: Lubos Brim
QUICK ADD
Formal Methods: Applications…
by Lubos Brim (Editor), Boudewijn Haverkort (Editor), Martin Leucker (Editor), Jaco van de Pol (Editor)
#4346 in Series
Paperback $54.99
Title: Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers, Author: Eyal Bin
QUICK ADD
Hardware and Software,…
by Eyal Bin (Editor), Avi Ziv (Editor), Shmuel Ur (Editor)
#4383 in Series
Paperback $54.99
Title: Service Availability: Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006, Revised Selected Papers, Author: Dave Penkler
QUICK ADD
Service Availability: Third…
by Dave Penkler (Editor), Manfred Reitenspiess (Editor), Francis Tam (Editor)
#4328 in Series
Paperback $54.99
Title: Quality of Software Architectures: Second International Conference on Quality of Software Architectures, QoSA 2006, Västeras, Schweden, June 27-29, 2006, Revised Papers, Author: Christine Hofmeister
QUICK ADD
Quality of Software…
by Christine Hofmeister (Editor), Ivica Crnkovic (Editor), Ralf H. Reussner (Editor)
#4214 in Series
Paperback $54.99
Title: Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers, Author: Klaus Havelund
QUICK ADD
Formal Approaches to Software…
by Klaus Havelund (Editor), Manuel Núnez (Editor), Grigore Rosu (Editor), Burkhart Wolff (Editor)
#4262 in Series
Paperback $54.99
Title: Software Verification and Validation: An Engineering and Scientific Approach, Author: Marcus S. Fisher
QUICK ADD
Software Verification and…
by Marcus S. Fisher
Hardcover $129.99
Title: Rigorous Development of Complex Fault-Tolerant Systems, Author: Michael Butler
QUICK ADD
Rigorous Development of…
by Michael Butler (Editor), Cliff Jones (Editor), Alexander Romanovsky (Editor), Elena Troubitsyna (Editor)
#4157 in Series
Paperback $54.99
Title: Art of Software Security Testing, The: Identifying Software Security Flaws, Author: Chris Wysopal
QUICK ADD
Art of Software Security…
by Chris Wysopal, Lucas Nelson, Elfriede Dustin, Dino Dai Zovi
Explore Series
eBook $65.99
Title: Debugging: The 9 Indispensable Rules for Finding Even the Most Elusive Software and Hardware Problems, Author: David J. AGANS
QUICK ADD
Debugging: The 9 Indispensable…
by David J. AGANS
Paperback $18.99
Title: System Software Reliability, Author: Hoang Pham
QUICK ADD
System Software Reliability
by Hoang Pham
Explore Series
Hardcover $109.99
Title: Writing Scientific Software: A Guide to Good Style, Author: Suely Oliveira
QUICK ADD
Writing Scientific Software: A…
by Suely Oliveira, David E. Stewart
Paperback $73.00
Title: Design for Trustworthy Software: Tools, Techniques, and Methodology of Developing Robust Software, Author: Bijay Jayaswal
QUICK ADD
Design for Trustworthy…
by Bijay Jayaswal, Peter Patton
eBook $65.99
Title: Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, Author: Thomas Ball
QUICK ADD
Computer Aided Verification:…
by Thomas Ball (Editor), Robert B. Jones (Editor)
#4144 in Series
Paperback $109.99
Title: The Core Test Wrapper Handbook: Rationale and Application of IEEE Std. 1500T, Author: Francisco da Silva
QUICK ADD
The Core Test Wrapper Handbook…
by Francisco da Silva, Teresa McLaurin, Tom Waayers
#35 in Series
Hardcover $169.99
Title: Professional Pen Testing for Web Applications, Author: Andres Andreu
QUICK ADD
Professional Pen Testing for…
by Andres Andreu
Explore Series
Paperback $55.00
Title: Developments in Risk-based Approaches to Safety: Proceedings of the Fourteenth Safety-citical Systems Symposium, Bristol, UK, 7-9 February 2006, Author: Felix Redmill
QUICK ADD
Developments in Risk-based…
by Felix Redmill (Editor), Safety-Critical Systems Club (Other), Tom Anderson (Editor)
Paperback $109.99
Title: Software-Implemented Hardware Fault Tolerance, Author: Olga Goloubeva
QUICK ADD
Software-Implemented Hardware…
by Olga Goloubeva, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante
Hardcover $169.99
Title: Product-Focused Software Process Improvement: 7th International Conference, PROFES 2006, Amsterdam, The Netherlands, June 12-14, 2006, Proceedings, Author: Jürgen Münch
QUICK ADD
Product-Focused Software…
by Jürgen Münch (Editor), Matias Vierimaa (Editor)
#4034 in Series
Paperback $54.99
Title: Advances in Computers: Quality Software Development, Author: MS Zelkowitz Ph.D.
QUICK ADD
Advances in Computers: Quality…
by MS Zelkowitz Ph.D. (Editor)
#66 in Series
eBook $195.00

Pagination Links