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 32)
Refine
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
Power and Performance : Software Analysis and Optimization - Book

Power and Performance : Software Analysis and Optimization

Jim (Software engineer, Intel’s Open Source Technology Center Kukunas

Format: Book (Paperback / softback)

£68.99

Book (Paperback / softback)

Add to Basket
Software Quality Assurance : In Large Scale and Complex Software-intensive Systems - Book

Software Quality Assurance : In Large Scale and Complex Software-intensive Systems

Ivan (Systems Engineering Researcher/Consultant, Heidelberg, Mistrik

Format: Book (Paperback / softback)

£83.00

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
Essential Software Testing : A Use-Case Approach - Book

Essential Software Testing : A Use-Case Approach

Greg Fournier

Format: Book (Paperback / softback)

£66.99

Book (Paperback / softback)

Add to Basket
Testing Software and Systems : 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings - Book

£79.99

£70.35

Book (Paperback / softback)

Add to Basket
Quality Software Through Reuse and Integration - Book

Quality Software Through Reuse and Integration

Stuart H. Rubin

Format: Book (Paperback / softback)

£179.99

£154.85

Book (Paperback / softback)

Item not Available
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)

£74.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

£72.49

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
Code Generation, Analysis Tools, and Testing for Quality - Book

£155.00

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
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
Computer Aided Verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings - Book

£74.99

£61.89

Book (Paperback / softback)

Item not Available
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
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
Debugging Systems-on-Chip : Communication-centric and Abstraction-based Techniques - Book

£89.99

£73.75

Book (Paperback / softback)

Item not Available
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
Accelerated Mac OS X Core Dump Analysis : Training Course Transcript and GDB Practice Exercises - Book

£80.00

£57.29

Book (Paperback / softback)

Item not Available
Accelerated Windows Memory Dump Analysis : Training Course Transcript and Windbg Practice Exercises with Notes - Book

£230.00

£171.55

Book (Paperback / softback)

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