221- 240 of 252 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings, Author: Dennis Dams
QUICK ADD
Theoretical and Practical…
by Dennis Dams (Editor), Robert Gerth (Editor), Stefan Leue (Editor), Mieke Massinek (Editor)
#1680 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: Engineering Quality Software: A Review of Current Practices, Standards and Guidelines including New Methods and Development Tools, Author: D.J. Smith
QUICK ADD
Engineering Quality Software:…
by D.J. Smith, K.B. Wood
Paperback $109.99
Title: Service Availability: First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers, Author: Miroslaw Malek
QUICK ADD
Service Availability: First…
by Miroslaw Malek (Editor), Manfred Reitenspieß (Editor), Jörg Kaiser (Editor)
#3335 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: 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: Life Cycle Management For Dependability, Author: Felix Redmill
QUICK ADD
Life Cycle Management For…
by Felix Redmill (Editor), T. Anderson (Preface by), Chris Dale (Editor)
Paperback $109.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: Software Reliability Methods, Author: Doron A. Peled
QUICK ADD
Software Reliability Methods
by Doron A. Peled, E.M. Clarke (Foreword by)
Explore Series
Paperback $54.99
Title: Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings, Author: Alan J. Hu
QUICK ADD
Computer Aided Verification:…
by Alan J. Hu (Editor), Moshe Y. Vardi (Editor)
#1427 in Series
Paperback $109.99
Title: Contract Testing in Action: With Pact, PactFlow, and GitHub Actions, Author: Marie Cruz
QUICK ADD
Contract Testing in Action:…
by Marie Cruz, Lewis Prescott
Explore Series
Paperback $59.99
Title: Property-Based Testing with PropEr, Erlang, and Elixir: Find Bugs Before Your Users Do, Author: Fred Hebert
QUICK ADD
Property-Based Testing with…
by Fred Hebert
Paperback $45.95
Title: Successful Test Management: An Integral Approach, Author: Iris Pinkster
QUICK ADD
Successful Test Management: An…
by Iris Pinkster, Bob van de Burgt, Dennis Janssen, Erik van Veenendaal
Paperback $59.99
Title: Computer Safety, Reliability and Security: 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002. Proceedings, Author: Stuart Anderson
QUICK ADD
Computer Safety, Reliability…
by Stuart Anderson (Editor), Sandro Bologna (Editor), Massimo Felici (Editor)
#2434 in Series
Paperback $54.99
Title: System Software Reliability, Author: Hoang Pham
QUICK ADD
System Software Reliability
by Hoang Pham
Explore Series
Paperback $109.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: Unifying the Software Process Spectrum: International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005 Revised Selected Papers, Author: Mingshu Li
QUICK ADD
Unifying the Software Process…
by Mingshu Li (Editor), Barry Boehm (Editor), Leon J. Osterweil (Editor)
#3840 in Series
Paperback $54.99
Title: Software Fault Prevention, Verification, and Validation: First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2-3, 2024, Proceedings, Author: Shaoying Liu
QUICK ADD
Software Fault Prevention,…
by Shaoying Liu (Editor)
#15393 in Series
Paperback $64.99
Title: Pro Android Apps Performance Optimization, Author: Herv Guihot
QUICK ADD
Pro Android Apps Performance…
by Herv Guihot
Paperback $44.99
Title: Master Your Computer: No Technical Expertise Required!, Author: Robert A. Blake
QUICK ADD
Master Your Computer: No…
by Robert A. Blake
Paperback $9.99

Pagination Links