221- 240 of 266 results
Grid View Grid
List View List
Grid View Grid
List View List
Get it today with Buy Online, Pick up in Store Find My Store
Title: Keyword Driven Framework in UFT: With Complete Source Code, Author: Susan Thomas
QUICK ADD
Keyword Driven Framework in…
by Susan Thomas
Paperback $19.00
Title: Software Metrics: Best Practices for Successful It Management, Author: Paul Goodman
QUICK ADD
Software Metrics: Best…
by Paul Goodman
Explore Series
Paperback $44.99
Title: Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings, Author: Dragan Bosnacki
QUICK ADD
Model Checking Software: 9th…
by Dragan Bosnacki (Editor), Stefan Leue (Editor)
#2318 in Series
Paperback $54.99
Title: Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction, Author: Markus Mïller-Olm
QUICK ADD
Modular Compiler Verification:…
by Markus Mïller-Olm
#1283 in Series
Paperback $54.99
Title: Practical Software Development Techniques: Tools and Techniques for Building Enterprise Software, Author: Edward Crookshanks
QUICK ADD
Practical Software Development…
by Edward Crookshanks
Paperback $49.99
Title: Verification and Validation of Real-Time Software, Author: William J. Quirk
QUICK ADD
Verification and Validation of…
by William J. Quirk (Editor)
Paperback $54.99
Title: Development and Evolution of Software Architectures for Product Families: Second International ESPRIT ARES Workshop, Las Palmas de Gran Canaria, Spain, February 26-27, 1998, Proceedings, Author: Frank van der Linden
QUICK ADD
Development and Evolution of…
by Frank van der Linden (Editor)
#1429 in Series
Paperback $54.99
Title: Extensions of the UNITY Methodology: Compositionality, Fairness and Probability in Parallelism, Author: Josyula R. Rao
QUICK ADD
Extensions of the UNITY…
by Josyula R. Rao
#908 in Series
Paperback $54.99
Title: Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers, Author: Martín Abadi
QUICK ADD
Trustworthy Global Computing:…
by Martín Abadi (Editor), Alberto Lluch Lafuente (Editor)
#8358 in Series
Paperback $54.99
Title: Reliable Software Technologies Ada-Europe 2000: 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings, Author: Hubertus B. Keller
QUICK ADD
Reliable Software Technologies…
by Hubertus B. Keller (Editor), Erhard Plïdereder (Editor)
#1845 in Series
Paperback $54.99
Title: A Guide to Selecting Software Measures and Metrics, Author: Capers Jones
QUICK ADD
A Guide to Selecting Software…
by Capers Jones
Paperback $56.99
Title: Verification of Sequential and Concurrent Programs, Author: Krzysztof R. Apt
QUICK ADD
Verification of Sequential and…
by Krzysztof R. Apt, Amir Pnueli (Foreword by), Frank S. de Boer, Ernst-Rüdiger Olderog
Explore Series
Paperback $89.99
Title: Verifying Concurrent Processes Using Temporal Logic, Author: B. T. Hailpern
QUICK ADD
Verifying Concurrent Processes…
by B. T. Hailpern
#129 in Series
Paperback $54.99
Title: Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification, Author: Robert Kurshan
QUICK ADD
Computer-Aided Verification: A…
by Robert Kurshan (Editor)
Paperback $169.99
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: Monitoring with Ganglia: Tracking Dynamic Host and Application Metrics at Scale, Author: Matt Massie
QUICK ADD
Monitoring with Ganglia:…
by Matt Massie, Bernard Li, Brad Nicholes, Vladimir Vuksan, Robert Alexander
Paperback $29.99
Title: Software Testing Interview Questions You'll Most Likely Be Asked, Author: Vibrant Publishers
QUICK ADD
Software Testing Interview…
by Vibrant Publishers
#1 in Series
Paperback $27.99
Title: Safe Comp 97: The 16th International Conference on Computer Safety, Reliability and Security, Author: Peter Daniel
QUICK ADD
Safe Comp 97: The 16th…
by Peter Daniel (Editor)
Paperback $109.99
Title: Mastering User Surveys: A Guide for UX Designers and Researchers, Author: William Webb
QUICK ADD
Mastering User Surveys: A…
by William Webb
Paperback $29.99
Title: Practical Test Design: Selection of Traditional and Automated Test Design Techniques, Author: Istvïn Forgïcs
QUICK ADD
Practical Test Design:…
by Istvïn Forgïcs, Attila Kovïcs
Paperback $58.99

Pagination Links