41- 60 of 180 results
Grid View Grid
List View List
Grid View Grid
List View List
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: Strategic Software Quality Management: How to Incorporate Sustainable Continuous Improvement Practices, Author: Mahsa Fidanboy
QUICK ADD
Strategic Software Quality…
by Mahsa Fidanboy, Cemalettin Öcal Fidanboy
Paperback $69.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: Service Availability: Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26, 2005, Revised Selected Papers, Author: Miroslaw Malek
QUICK ADD
Service Availability: Second…
by Miroslaw Malek (Editor), Edgar Nett (Editor), Neeraj Suri (Editor)
#3694 in Series
Paperback $54.99
Title: Learning Test-Driven Development: A Polyglot Guide to Writing Uncluttered Code, Author: Saleem Siddiqui
QUICK ADD
Learning Test-Driven…
by Saleem Siddiqui
Paperback $65.99
Title: Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings, Author: Antti Valmari
QUICK ADD
Model Checking Software: 13th…
by Antti Valmari (Editor)
#3925 in Series
Paperback $54.99
Title: Practical Guide To Software Quality Management, Author: John W. Horch
QUICK ADD
Practical Guide To Software…
by John W. Horch
Explore Series
Paperback $93.00
Title: Trustworthy Global Computing: International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers, Author: Rocco De Nicola
QUICK ADD
Trustworthy Global Computing:…
by Rocco De Nicola (Editor), Davide Sangiorgi (Editor)
#3705 in Series
Paperback $54.99
Title: Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings, Author: Bernhard Beckert
QUICK ADD
Tests and Proofs: Second…
by Bernhard Beckert (Editor), Reiner Hähnle (Editor)
#4966 in Series
Paperback $54.99
Title: Component-Based Software Testing with UML, Author: Hans-Gerhard Gross
QUICK ADD
Component-Based Software…
by Hans-Gerhard Gross
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: NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings, Author: Mihaela Bobaru
QUICK ADD
NASA Formal Methods: Third…
by Mihaela Bobaru (Editor), Klaus Havelund (Editor), Gerard Holzmann (Editor), Rajeev Joshi (Editor)
#6617 in Series
Paperback $54.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: B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings, Author: Bert Didier
QUICK ADD
B'98: Recent Advances in the…
by Bert Didier (Editor)
#1393 in Series
Paperback $54.99
Title: Software Quality - ECSQ 2002: Quality Connection - 7th European Conference on Software Quality, Helsinki, Finland, June 9-13, 2002. Proceedings, Author: Jyrki Kontio
QUICK ADD
Software Quality - ECSQ 2002:…
by Jyrki Kontio (Editor), Reidar Conradi (Editor)
#2349 in Series
Paperback $54.99
Title: Model-Based Software Testing and Analysis with C#, Author: Jonathan Jacky
QUICK ADD
Model-Based Software Testing…
by Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte
Paperback $51.00
Title: Model-Based Testing of Reactive Systems: Advanced Lectures, Author: Manfred Broy
QUICK ADD
Model-Based Testing of…
by Manfred Broy (Editor), Bengt Jonsson (Editor), Joost-Pieter Katoen (Editor), Martin Leucker (Editor), Alexander Pretschner (Editor)
#3472 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: Lessons in System Safety: Proceedings of the Eighth Safety-critical Systems Symposium, Southampton, UK 2000, Author: Felix Redmill
QUICK ADD
Lessons in System Safety:…
by Felix Redmill (Editor), Tom Anderson (Editor)
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

Pagination Links