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 96 - 120 (of 179)
Refine
Buddha in Testing - Book

Buddha in Testing

Pradeep Soundararajan

Format: Book (Paperback / softback)

£9.99

Book (Paperback / softback)

Add to Basket
Software Testing : An ISTQB-BCS Certified Tester Foundation guide - Book

Software Testing : An ISTQB-BCS Certified Tester Foundation guide

Angelina Samaroo

Format: Book (Paperback / softback)

£34.99

£28.09

Book (Paperback / softback)

Item not Available
The Ida Pro Book, 2nd Edition - Book

The Ida Pro Book, 2nd Edition

Chris Eagle

Format: Book (Paperback / softback)

£55.99

£37.35

Book (Paperback / softback)

Item not Available
Hand Coding Coded Ul : An Evaluation Journey from Inception to Completion - Book

Hand Coding Coded Ul : An Evaluation Journey from Inception to Completion

G. Suden

Format: Book (Paperback / softback)

£37.34

£32.19

Book (Paperback / softback)

Item not Available
Design Error : A Human Factors Approach - Book

£48.99

£46.15

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
Java Testing with Spock - Book

Java Testing with Spock

Konstantinos Kapelonis

Format: Book (Paperback / softback)

£35.99

£31.39

Book (Paperback / softback)

Item not Available
Trace and Log Analysis : A Pattern Reference for Diagnostics and Anomaly Detection, Third Edition - Book

£50.00

£35.85

Book (Paperback / softback)

Item not Available
Koskela: Test Driven TDD and Acceptance TDD for Java Developers - Book

Koskela: Test Driven TDD and Acceptance TDD for Java Developers

Lasse Koskela

Format: Book (Paperback / softback)

£28.99

£24.25

Book (Paperback / softback)

Item not Available
Model-Based Software Performance Analysis - Book

Model-Based Software Performance Analysis

Vittorio Cortellessa

Format: Book (Paperback / softback)

£49.99

£40.99

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
Computer Performance Engineering : 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings - Book

Computer Performance Engineering : 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings

Marta Beltran

Format: Book (Paperback / softback)

£39.99

£35.19

Book (Paperback / softback)

Add to Basket
Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings - Book

Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings

Constantin Enea

Format: Book (Paperback / softback)

£44.99

£38.55

Book (Paperback / softback)

Add to Basket
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
Software Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings - Book

Software Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings

Frank de Boer

Format: Book (Paperback / softback)

£49.99

£41.85

Book (Paperback / softback)

Add to Basket
The Paradigm Shift to Multimodality in Contemporary Computer Interfaces - Book

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

£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
Showing 96 - 120 (of 179)
Refine