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 BasketLearning Software Testing with Test Studio
Rawane Madi
Out of stock
Format: Book (Paperback / softback)
Memory Dump Analysis Anthology : Color Supplement for Volumes 4-5
Dmitry Vostokov
Out of stock
Format: Book (Paperback / softback)
Accelerated .NET Memory Dump Analysis : Training Course Transcript and WinDbg Practice Exercises with Notes
Dmitry Vostokov
Item not Available
Format: Book (Paperback / softback)
£60.00
£43.75
Item not Available
Book (Paperback / softback)
Advanced Windows Memory Dump Analysis with Data Structures : Training Course Transcript and WinDbg Practice Exercises with Notes
Dmitry Vostokov
Item not Available
Format: Book (Paperback / softback)
£60.00
£43.75
Item not Available
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 BasketSoftware Reliability Modeling : Fundamentals and Applications
Shigeru Yamada
Item not Available
Format: Book (Paperback / softback)
£44.99
£37.59
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)
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)
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)