Please note: In order to keep Hive up to date and provide users with the best features, we are no longer able to fully support Internet Explorer. The site is still available to you, however some sections of the site may appear broken. We would encourage you to move to a more modern browser like Firefox, Edge or Chrome in order to experience the site fully.

Showing 1 - 24 (of 33)
Refine
Why Programs Fail : A Guide to Systematic Debugging - Book

Why Programs Fail : A Guide to Systematic Debugging

Andreas (Saarland University, Saarbruecken, Germany) Zeller

Format: Book (Paperback / softback)

£50.99

£50.05

Book (Paperback / softback)

Add to Basket
Complete Guide to Test Automation : Techniques, Practices, and Patterns for Building and Maintaining Effective Software Projects - Book

£54.99

£50.45

Book (Paperback / softback)

Add to Basket
Software Test Attacks to Break Mobile and Embedded Devices - Book

Software Test Attacks to Break Mobile and Embedded Devices

Jon Duncan Hagar

Format: Book (Paperback / softback)

£59.99

Book (Paperback / softback)

Add to Basket
Policy as Code : Improving Cloud-Native Security - Book

Policy as Code : Improving Cloud-Native Security

Jimmy Ray

Format: Book (Paperback / softback)

£63.99

£50.49

Book (Paperback / softback)

Pre-Order
Software Testing as a Service - Book

Software Testing as a Service

Ashfaque Ahmed

Format: Book (Paperback / softback)

£52.99

Book (Paperback / softback)

Add to Basket
Software Metrics and Software Metrology - Book

Software Metrics and Software Metrology

Alain (Universite du Quebec) Abran

Format: Book (Paperback / softback)

£74.95

£73.69

Book (Paperback / softback)

Add to Basket
Testing IT : An Off-the-Shelf Software Testing Process - Book

Testing IT : An Off-the-Shelf Software Testing Process

John Watkins

Format: Book (Paperback / softback)

£70.99

Book (Paperback / softback)

Add to Basket
Essential Software Testing : A Use-Case Approach - Book

Essential Software Testing : A Use-Case Approach

Greg (Enlighten Solutions, Colorado Springs, USA) Fournier

Format: Book (Paperback / softback)

£66.99

Book (Paperback / softback)

Add to Basket
Software Reliability Assessment with OR Applications - Book

Software Reliability Assessment with OR Applications

P.K. Kapur

Format: Book (Paperback / softback)

£179.99

£154.85

Book (Paperback / softback)

Item not Available
Introduction to Combinatorial Testing - Book

£69.99

Book (Paperback / softback)

Add to Basket
Software Project Management : A Process-Driven Approach - Book

Software Project Management : A Process-Driven Approach

Ashfaque Ahmed

Format: Book (Paperback / softback)

£56.99

Book (Paperback / softback)

Add to Basket
Automated Software Testing : Foundations, Applications and Challenges - Book

£139.99

Book (Paperback / softback)

Add to Basket
Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings - Book

£64.99

£53.95

Book (Paperback / softback)

Item not Available
Model-Driven Dependability Assessment of Software Systems - Book

Model-Driven Dependability Assessment of Software Systems

Simona Bernardi

Format: Book (Paperback / softback)

£89.99

Book (Paperback / softback)

Add to Basket
Model Checking Software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings - Book

£62.99

£52.35

Book (Paperback / softback)

Item not Available
Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions - Book

£99.99

£81.69

Book (Paperback / softback)

Item not Available
Formal Methods and Testing : An Outcome of the FORTEST Network. Revised Selected Papers - Book

£67.99

£56.35

Book (Paperback / softback)

Item not Available
Handbook of Model Checking - Book

Handbook of Model Checking

Edmund M., Jr. Clarke

Format: Book (Paperback / softback)

£99.99

£81.75

Book (Paperback / softback)

Item not Available
Testing Software and Systems : 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings - Book

£79.99

£71.95

Book (Paperback / softback)

Add to Basket
Software Verification and Formal Methods for ML-Enabled Autonomous Systems : 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and - Book

£54.99

£50.45

Book (Paperback / softback)

Add to Basket
Verification, Model Checking, and Abstract Interpretation : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings - Book

Verification, Model Checking, and Abstract Interpretation : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Cezara Dragoi

Format: Book (Paperback / softback)

£64.99

£59.05

Book (Paperback / softback)

Add to Basket
String Analysis for Software Verification and Security - Book

String Analysis for Software Verification and Security

Tevfik Bultan

Format: Book (Paperback / softback)

£54.99

Book (Paperback / softback)

Add to Basket
Java Unit Testing with JUnit 5 : Test Driven Development with JUnit 5 - Book

Java Unit Testing with JUnit 5 : Test Driven Development with JUnit 5

Shekhar Gulati

Format: Book (Paperback / softback)

£54.99

Book (Paperback / softback)

Add to Basket
Accelerated Windows Memory Dump Analysis : Training Course Transcript and WinDbg Practice Exercises with Notes - Book

£100.00

£76.29

Book (Paperback / softback)

Item not Available
Showing 1 - 24 (of 33)
Refine