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

Paperback

$ 222.25

Enquire about this book

Available

Usually Ships in 12 Days.

Ships From New York

Free Shipping within U.S.A

International Shipping?

Check Delivery Estimate and Shipping Cost for your country

Book Information

Publisher:	Springer
Published In:	05-Jul-2011
ISBN-10:	3642221092
ISBN-13:	9783642221095
Binding Type:	Paperback
Weight:	2.66 lbs
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" is written by Ganesh Gopalakrishnan. The ISBN number 3642221092|9783642221095 is assigned to the Paperback version of this title. The publisher of this title is Springer. We have about 138114 other great books from this publisher. Computer Aided Verification is currently Available with us.

Related Books

58 %

Formal Methods in Compute ...

Ganesh Gopalakr ...

List Price: $ 129.00

Our Price: $ 54.51