Accelerated Linux Core Dump Analysis : Training Course Transcript and Gdb Practice Exercises
Dmitry Vostokov
Item not Available
Format: Book (Paperback / softback)
£80.00
£57.29
Item not Available
Book (Paperback / softback)
Trace and Log Analysis : A Pattern Reference for Diagnostics and Anomaly Detection, Third Edition
Dmitry Vostokov
Item not Available
Format: Book (Paperback / softback)
£50.00
£35.85
Item not Available
Book (Paperback / softback)
Learning Software Testing with Test Studio
Rawane Madi
Out of stock
Format: Book (Paperback / softback)
Mastering Postman : A Comprehensive Guide to Building End-to-End APIs with Testing, Integration and Automation
Oliver James
Out of stock
Format: Book (Paperback / softback)
Advanced Selenium Web Accessibility Testing : Software Automation Testing Secrets Revealed
Narayanan Palani
Out of stock
Format: Book (Paperback / softback)
Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings
Constantin Enea
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£37.09
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Handbook of Model Checking
Edmund M., Jr. Clarke
Item not Available
Format: Book (Paperback / softback)
£99.99
£81.75
Item not Available
Book (Paperback / softback)
Software Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings
Frank de Boer
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£49.99
£40.39
Available to Order - This title is available to order, with delivery expected within 2 weeks
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
Franz Wotawa
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£37.09
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Quality Software Through Reuse and Integration
Stuart H. Rubin
Item not Available
Format: Book (Paperback / softback)
£179.99
£154.85
Item not Available
Book (Paperback / softback)
Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Alessandro Abate
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£37.09
Available to Order - This title is available to order, with delivery expected within 2 weeks
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
Kamel Barkaoui
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£37.09
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Static Analysis : 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings
Francesco Ranzato
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£37.09
Available to Order - This title is available to order, with delivery expected within 2 weeks
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
Alessandro Fantechi
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£37.09
Available to Order - This title is available to order, with delivery expected within 2 weeks
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
Isil Dillig
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£37.09
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
String Analysis for Software Verification and Security
Tevfik Bultan
Out of stock
Format: Book (Paperback / softback)
Unraveling Software Maintenance and Evolution : Thinking Outside the Box
Ervin Varga
Out of stock
Format: Book (Paperback / softback)
Testing Software and Systems : 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cadiz, Spain, October 1-3, 2018, Proceedings
Inmaculada Medina-Bulo
Out of stock
Format: Book (Paperback / softback)
The Paradigm Shift to Multimodality in Contemporary Computer Interfaces
SHARON OVIATT
Out of stock
Format: Book (Paperback / softback)
Testing Software and Systems : 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings
David Clark
Out of stock
Format: Book (Paperback / softback)
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
Omri Isac
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£54.99
£49.15
Available to Order - This title is available to order, with delivery expected within 2 weeks
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
Cezara Dragoi
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£64.99
£57.65
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Debugging Systems-on-Chip : Communication-centric and Abstraction-based Techniques
Bart Vermeulen
Item not Available
Format: Book (Paperback / softback)
£89.99
£73.75
Item not Available
Book (Paperback / softback)
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
Bertrand Meyer
Item not Available
Format: Book (Paperback / softback)
£99.99
£81.69
Item not Available
Book (Paperback / softback)
