1- 20 of 104 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: If I Only Changed the Software, Why is the Phone on Fire?: Embedded Debugging Methods Revealed: Technical Mysteries for Engineers, Author: Lisa K. Simone
QUICK ADD
If I Only Changed the Software…
by Lisa K. Simone
Paperback $51.95
Title: Pragmatic Software Testing: Becoming an Effective and Efficient Test Professional / Edition 1, Author: Rex Black
QUICK ADD
Pragmatic Software Testing:…
by Rex Black
Paperback $52.00
Title: Extensions of the UNITY Methodology: Compositionality, Fairness and Probability in Parallelism / Edition 1, 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, Alberto Lluch Lafuente
#8358 in Series
Paperback $54.99
Title: Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem / Edition 1, Author: Patrice Godefroid
QUICK ADD
Partial-Order Methods for the…
by Patrice Godefroid
#1032 in Series
Paperback $54.99
Title: SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings / Edition 1, Author: Klaus Havelund
QUICK ADD
SPIN Model Checking and…
by Klaus Havelund, John Penix, Willem Visser
#1885 in Series
Paperback $54.99
Title: Software Process Improvement: 11th European Conference, EuroSPI 2004, Trondheim, Norway, November 10-12, 2004. Proceedings / Edition 1, Author: T. Dingsïyr
QUICK ADD
Software Process Improvement:…
by T. Dingsïyr
#3281 in Series
Paperback $54.99
Title: Computer Safety, Reliability and Security: 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings / Edition 1, Author: Udo Voges
QUICK ADD
Computer Safety, Reliability…
by Udo Voges
#2187 in Series
Paperback $54.99
Title: Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, Author: Erika Abraham
QUICK ADD
Tools and Algorithms for the…
by Erika Abraham, Klaus Havelund
#8413 in Series
Paperback $54.99
Title: Requirements Engineering: Foundation for Software Quality: 14th International Working Conference, REFSQ 2008 Montpellier, France, june 16-17, 2008, Proceedings / Edition 1, Author: Barbara Paech
QUICK ADD
Requirements Engineering:…
by Barbara Paech, Colette Rolland
#5025 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 / Edition 1, Author: Eyal Bin
QUICK ADD
Hardware and Software,…
by Eyal Bin, Avi Ziv, Shmuel Ur
#4383 in Series
Paperback $54.99
Title: Reliable Software Technology - Ada-Europe 2005: 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings / Edition 1, Author: Tullio Vardanega
QUICK ADD
Reliable Software Technology -…
by Tullio Vardanega, Andy Wellings
#3555 in Series
Paperback $54.99
Title: Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings / Edition 1, Author: Susanne Graf
QUICK ADD
Model Checking Software: 11th…
by Susanne Graf, Laurent Mounier
#2989 in Series
Paperback $54.99
Title: Partial Evaluation: International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers / Edition 1, Author: Olivier Danvy
QUICK ADD
Partial Evaluation:…
by Olivier Danvy, Robert Glïck, Peter Thiemann
#1110 in Series
Paperback $54.99
Title: Reliable Software Technologies - Ada-Europe 2004: 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings / Edition 1, Author: Albert Llamosi
QUICK ADD
Reliable Software Technologies…
by Albert Llamosi, Alfred Strohmeier
#3063 in Series
Paperback $54.99
Title: Objective Software Quality: Objective Quality: Second Symposium on Software Quality Techniques and Acquisition Criteria Florence, Italy, May 29- 31, 1995. Proceedings / Edition 1, Author: Paolo Nesi
QUICK ADD
Objective Software Quality:…
by Paolo Nesi
#926 in Series
Paperback $54.99
Title: Reliable Software Technologies - Ada Europe 96: 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June (10-14), 1996. Proceedings / Edition 1, Author: Alfred Strohmeier
QUICK ADD
Reliable Software Technologies…
by Alfred Strohmeier
#1088 in Series
Paperback $54.99
Title: Computer Safety, Reliability, and Security: 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings / Edition 1, Author: Stuart Anderson
QUICK ADD
Computer Safety, Reliability,…
by Stuart Anderson, Massimo Felici, Bev Littlewood
#2788 in Series
Paperback $54.99
Title: Software Process Improvement: 12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005, Proceedings / Edition 1, Author: Ita Richardson
QUICK ADD
Software Process Improvement:…
by Ita Richardson, Pekka Abrahamsson, Richard Messnarz
#3792 in Series
Paperback $54.99
Title: Testing Object-Oriented Software: Life Cycle Solutions / Edition 1, Author: Imran Bashir
QUICK ADD
Testing Object-Oriented…
by Imran Bashir, Amrit L. Goel
Paperback $54.99

Pagination Links