Verification Model Checking and Abstract Interpretation 6th International Conference VMCAI 2005 Paris France January 17 19 2005 Proceedings Lecture Computer Science and General Issues 1st Edition Radhia Cousot

Original price was: $50.00.Current price is: $35.00.

Verification Model Checking and Abstract Interpretation 6th International Conference VMCAI 2005 Paris France January 17 19 2005 Proceedings Lecture Computer Science and General Issues 1st Edition Radhia Cousot Digital Instant Download

Author(s): Radhia Cousot
ISBN(s): 9783540305798, 3540305793
Edition: 1
File Details: PDF, 15.19 MB
Year: 2005
Language: english
SKU: EB-1786720 Category: Tag: