Francesco Logozzo (EDT), Doron A. Peled (EDT), Leonore D. Zuck (EDT) Verification, Model Checking, and Abstract Interpretation

9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

VAT 0% included

Condition: New

Availability: E-book delivered electronically online

E-Book information

Publisher: Springer Berlin Heidelberg

Date: 2008

EAN/ISBN13: 978-3-540-78163-9

ISBN10: 3-540-78163-3

You can ask us about this book and we'll send an answer to your e-mail.