ISBN 9783540697350,Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Rs6742

Availability: Out of Stock

(Free Delivery)

We Accept
ISBN 9783540697350
Check delivery information
 
ISBN 9783540697350
Publisher

Ingram Publisher Services

Publication Year 2007
ISBN-13

ISBN 9783540697350

ISBN-10 3540697357
Binding

Paperback

Number of Pages 412 Pages
Subject

Computer programming / software development

Constitutes the refereed proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in Nice, France in January 2007.
Scroll