Accelerated .NET Memory Dump Analysis : Training Course Transcript and WinDbg Practice Exercicses
Dmitry Vostokov
Item not Available
Format: Book (Paperback / softback)
£75.00
£53.89
Item not Available
Book (Paperback / softback)
Accelerated Mac OS X Core Dump Analysis : Training Course Transcript with GDB and LLDB Practice Exercises
Dmitry Vostokov
Out of stock
Format: Book (Paperback / softback)
Advanced Windows RT Memory Dump Analysis, ARM Edition : Training Course Transcript and WinDbg Practice Exercises
Dmitry Vostokov
Item not Available
Format: Book (Paperback / softback)
£75.00
£53.89
Item not Available
Book (Paperback / softback)
Memory Dump Analysis Anthology : Color Supplement for Volumes 6-7
Dmitry Vostokov
Out of stock
Format: Book (Paperback / softback)
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)
Process Based Unification for Multi-model Software Process Improvement
Zador Daniel Kelemen
Out of stock
Format: Book (Paperback / softback)
Embedded Debugging with the Black Magic Probe
Thiadmer Riemersma
Out of stock
Format: Book (Paperback / softback)
Dependability Assessment of Software for Safety Instrumentation and Control Systems at Nuclear Power Plants
IAEA
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£33.95
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketSoftware 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 BasketThe 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 BasketVerification, 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 BasketModel Checking Software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings
Corina S Pasareanu
Item not Available
Format: Book (Paperback / softback)
£62.99
£52.35
Item not Available
Book (Paperback / softback)
Formal Verification of Object-Oriented Software : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
Bernhard Beckert
Item not Available
Format: Book (Paperback / softback)
£53.99
£45.25
Item not Available
Book (Paperback / softback)
Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Sharon Barner
Item not Available
Format: Book (Paperback / softback)
£53.99
£45.25
Item not Available
Book (Paperback / softback)
Improving Software Testing : Technical and Organizational Developments
Tim A. Majchrzak
Item not Available
Format: Book (Paperback / softback)
£44.99
£37.59
Item not Available
Book (Paperback / softback)
Computer Aided Verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
Madhusudan Parthasarathy
Item not Available
Format: Book (Paperback / softback)
£74.99
£61.89
Item not Available
Book (Paperback / softback)
Model Checking Software : 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings
Alastair Donaldson
Item not Available
Format: Book (Paperback / softback)
£41.99
£35.55
Item not Available
Book (Paperback / softback)
Formal Verification of Object-Oriented Software : International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Bernhard Beckert
Item not Available
Format: Book (Paperback / softback)
£39.99
£34.15
Item not Available
Book (Paperback / softback)
Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings
Roberto Giacobazzi
Out of stock
Format: Book (Paperback / softback)
Model-Based Software Performance Analysis
Vittorio Cortellessa
Item not Available
Format: Book (Paperback / softback)
£49.99
£40.99
Item not Available
Book (Paperback / softback)
Data Science : A Comprehensive Beginners Guide to Learn the Realms of Data Science
William Vance
Out of stock
Format: Book (Paperback / softback)
Data Science : Tips and Tricks to Learn Data Science Theories Effectively
William Vance
Out of stock
Format: Book (Paperback / softback)