21- 40 of 101 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Software Engineering Quality Practices, Author: Ronald Kirk Kandt
QUICK ADD
Software Engineering Quality…
by Ronald Kirk Kandt
#1 in Series
Hardcover $140.00
Title: Systems and Software Verification: Model-Checking Techniques and Tools, Author: B. Berard
QUICK ADD
Systems and Software…
by B. Berard, P. McKenzie (Translator), M. Bidoit, A. Finkel, F. Laroussinie
Hardcover $159.99
Title: Communication Protocol Specification and Verification, Author: Richard Lai
QUICK ADD
Communication Protocol…
by Richard Lai, Ajin Jirachiefpattana
#464 in Series
Hardcover $219.99
Title: Achieving Safety and Reliability with Computer Systems, Author: B.K. Daniels
QUICK ADD
Achieving Safety and…
by B.K. Daniels (Editor)
Hardcover $169.99
Title: Open Verification Methodology Cookbook, Author: Mark Glasser
QUICK ADD
Open Verification Methodology…
by Mark Glasser
Hardcover $169.99
Title: Software Reliability Methods, Author: Doron A. Peled
QUICK ADD
Software Reliability Methods
by Doron A. Peled, E.M. Clarke (Foreword by)
Explore Series
Hardcover $54.99
Title: Expert .NET Delivery Using NAnt and CruiseControl.NET, Author: Josh Holmes
QUICK ADD
Expert .NET Delivery Using…
by Josh Holmes
Explore Series
Hardcover $54.99
Title: SPICE: The Theory and Practice of Software Process Improvement and Capability Determination, Author: Khaled El Emam
QUICK ADD
SPICE: The Theory and Practice…
by Khaled El Emam (Editor), Jean-Normand Drouin (Editor), Walcélio Melo (Editor), Alec Dorling (Foreword by)
#7 in Series
Hardcover $149.95
Title: Software Defect and Operational Profile Modeling, Author: Kai-Yuan Cai
QUICK ADD
Software Defect and…
by Kai-Yuan Cai
#4 in Series
Hardcover $219.99
Title: Metrics-Driven Enterprise Software Development: Effectively Meeting Evolving Business Needs, Author: Subhajit Datta
QUICK ADD
Metrics-Driven Enterprise…
by Subhajit Datta
Hardcover $69.95
Title: Data Refinement: Model-Oriented Proof Methods and their Comparison, Author: Willem-Paul de Roever
QUICK ADD
Data Refinement:…
by Willem-Paul de Roever, Kai Engelhardt
#47 in Series
Hardcover $160.00
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: Concurrency Verification: Introduction to Compositional and Non-compositional Methods, Author: Willem-Paul de Roever
QUICK ADD
Concurrency Verification:…
by Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech
#54 in Series
Hardcover $284.00
Title: Mathematical Approaches to Software Quality, Author: Gerard O'Regan
QUICK ADD
Mathematical Approaches to…
by Gerard O'Regan
Hardcover $109.99
Title: Fundamentals of Software Testing, Author: Bernard Homès
QUICK ADD
Fundamentals of Software…
by Bernard Homès
#590 in Series
Hardcover $184.95
Title: Behavioral Intervals in Embedded Software: Timing and Power Analysis of Embedded Real-Time Software Processes, Author: Fabian Wolf
QUICK ADD
Behavioral Intervals in…
by Fabian Wolf
Hardcover $109.99
Title: Software Verification And Validation For Practitioners And Managers 2nd Ed., Author: Steven R. Rakitin
QUICK ADD
Software Verification And…
by Steven R. Rakitin
Hardcover $109.00
Title: Cleanroom Software Engineering: A Reader, Author: Jesse Poore
QUICK ADD
Cleanroom Software Engineering…
by Jesse Poore
Explore Series
Hardcover $114.95
Title: Software Reliability and Metrics, Author: N. Fenton
QUICK ADD
Software Reliability and…
by N. Fenton (Editor), B. Littlewood (Editor)
Hardcover $219.99
Title: Testing Static Random Access Memories: Defects, Fault Models and Test Patterns, Author: Said Hamdioui
QUICK ADD
Testing Static Random Access…
by Said Hamdioui
#26 in Series
Hardcover $109.99

Pagination Links