Guide to Software Verification with Frama-C : Core Components, Usages, and Applications
Nikolai Kosmatov
Pre-Order
Format: Book (Hardback)
Tests and Proofs : 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings
Jasmin Christian Blanchette
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£39.99
£31.85
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Tests and Proofs : 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings
Jasmin Christian Blanchette
Download - Immediately Available
Format: eBook (PDF)
Testing Software and Systems : 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings
Christophe Gaston
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
