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)
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)
String Analysis for Software Verification and Security
Tevfik Bultan
Out of stock
Format: Book (Paperback / softback)
Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
Barbara Jobstmann
Item not Available
Format: Book (Paperback / softback)
£64.99
£53.95
Item not Available
Book (Paperback / softback)
Model-Driven Dependability Assessment of Software Systems
Simona Bernardi
Out of stock
Format: Book (Paperback / softback)