Rajeev Alur (EDT), Doron A. Peled (EDT) Computer Aided Verification

16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings

Price for Eshop: 2520 Kč (€ 100.8)

VAT 0% included

Condition: New

Availability: E-book delivered electronically online

E-Book information

Publisher: Springer Berlin Heidelberg

Date: 2004

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

ISBN10: 3-540-27813-3

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