Verification, Model Checking, and Abstract Interpretation: 4th International Conference, Vmcai 2003, New York, Ny, Usa, January 2003: Proceedings (Lecture Notes in Computer Science, 2575)

Author: Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay, Vmcai 200
List Price: $56.00
Our Price: Click to see the latest and low price
ISBN: 3540003487
Publisher: Springer Verlag (March, 2003)
Edition: Paperback

Buy now directly from Amazon.com - Purchase this book, safely and securely from the largest book dealer on the Internet, Amazon.com

Return To Main Computer Book IndexSearch Our Entire Computer Book Catalog

©1997 - 2006 CentraSoft.Com | Privacy Policy | Terms Of Use
Products  |  Order  |  Downloads  |  Testimonials  |  F.A.Q. / Support  |  Contact Us

ColdFusion MX, and Dreamweaver are registered trademarks of Adobe Corporation.
Adobe Corp. in no way endorses or is affiliated with Centrasoft Corp.