Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
by Ganesh Gopalakrishnan, D. Hutchison, T. Kanade, J. Kittler, J. Kleinberg, A. Kobsa, F. Mattern, J.C. Mitchell, M. Naor, O.M. Nierstrasz, C. Pandu Rangan, B. Steffen, S. Madhu, D. Terzopoulos, J.D. Tygar, G. Weikum
Available
Ships From London
Free Shipping within U.K
International Shipping?
Check Delivery Estimate and
Delivery Charges
for your country
| Publisher: | Springer |
| Published In: | 05-Jul-2011 |
| ISBN-10: | 3642221092 |
| ISBN-13: | 9783642221095 |
| Binding Type: | Paperback |
| Weight: | 1205 gms |
| Pages: | pp. 784, 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss |
The Title "Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings" is written by Ganesh Gopalakrishnan. This book was published in the year 2011. The ISBN number 3642221092|9783642221095 is assigned to the Paperback version of this title. This book has total of pp. xv + 763 (Pages). The publisher of this title is Springer. We have about 138114 other great books from this publisher. Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings is currently Available with us.