Showing 72 - 91 (of 91)
Refine
Recent Advancements in Software Reliability Assurance - Book

Recent Advancements in Software Reliability Assurance

Adarsh Anand

Format: Book (Hardback)

£54.99

£46.81

Book (Hardback)

Add to Basket
Java Testing with Spock - Book

Java Testing with Spock

Konstantinos Kapelonis

Format: Book (Paperback / softback)

£35.99

£29.29

Book (Paperback / softback)

Unavailable
Testing Angular Applications Covers Angular 2 - Book

Testing Angular Applications Covers Angular 2

Jesse Palmer

Format: Book (Paperback / softback)

£35.99

£29.35

Book (Paperback / softback)

Add to Basket
Experimentation for Engineers - Book

Experimentation for Engineers

David Sweet

Format: Book (Hardback)

£45.99

£37.41

Book (Hardback)

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

£33.84

Book (Paperback / softback)

Add to Basket
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

£37.08

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

£40.62

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

£47.40

Book (Paperback / softback)

Add to Basket
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

£23.56

Book (Paperback / softback)

Unavailable
Advanced Selenium Web Accessibility Testing : Software Automation Testing Secrets Revealed - Book

Advanced Selenium Web Accessibility Testing : Software Automation Testing Secrets Revealed

Narayanan Palani

Format: Book (Paperback / softback)

£42.95

£42.65

Book (Paperback / softback)

Add to Basket
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

£30.12

Book (Paperback / softback)

Add to Basket
Testing Software and Systems : 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings - Book

Testing Software and Systems : 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings

Franz Wotawa

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings - Book

Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Alessandro Abate

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Verification and Evaluation of Computer and Communication Systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings - Book

Verification and Evaluation of Computer and Communication Systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings

Kamel Barkaoui

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Static Analysis : 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings - Book

Static Analysis : 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings

Francesco Ranzato

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Procee - Book

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Verification, Model Checking, and Abstract Interpretation : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings - Book

Verification, Model Checking, and Abstract Interpretation : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

Isil Dillig

Format: Book (Paperback / softback)

£44.99

£33.84

Book (Paperback / softback)

Add to Basket
Dependability Assessment of Software for Safety Instrumentation and Control Systems at Nuclear Power Plants - Book

Dependability Assessment of Software for Safety Instrumentation and Control Systems at Nuclear Power Plants

IAEA

Format: Book (Paperback / softback)

£34.21

Book (Paperback / softback)

Add to Basket
Better Code : Goals for Software Developers - Book

Better Code : Goals for Software Developers

Sean Parent

Format: Book (Paperback / softback)

£26.99

£23.22

Book (Paperback / softback)

Coming Soon
Showing 72 - 91 (of 91)
Refine