Please note: In order to keep Hive up to date and provide users with the best features, we are no longer able to fully support Internet Explorer. The site is still available to you, however some sections of the site may appear broken. We would encourage you to move to a more modern browser like Firefox, Edge or Chrome in order to experience the site fully.

Supporting your high street Find out how »
Showing 1 - 3 (of 3)
Refine
Engineering Dependable Software Systems - Book

Engineering Dependable Software Systems

B. Broy

Item not Available

Format: Book (Hardback)

£115.00

£106.39

Item not Available

Book (Hardback)

Item not Available
Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings - Book

Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

Francesco Logozzo

Item not Available

Format: Book (Paperback / softback)

£62.99

£52.35

Item not Available

Book (Paperback / softback)

Item not Available
Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings - eBook

Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

Francesco Logozzo

Download - Immediately Available

Format: eBook (PDF)

£44.99

£38.24

Download - Immediately Available

eBook (PDF)

Add to Basket
Showing 1 - 3 (of 3)
Refine